Update README.md and INSTALL.md.