Delete INSTALL.txt, the contents are now integrated into README.md.