Revise README.md and INSTALL.md