added an INSTALL file