merge INSTALL.txt into README