bring README and INSTALL.txt up to date