Add INSTALL file.