Improve build instructions in README and INSTALL.txt