How do I install a library in coq? (MacOS)...