Move and update the INSTALL file.