Put installation instructions into INSTALL file