Update and improve the INSTALL file