Update README and INSTALL.