Add info about the 'INSTALL' file to 'README"