Add the INSTALL file, simplifying the README