add INSTALL file.