Add an INSTALL file for MacOSX