Update README and INSTALL files to avoid duplication.