Refactor INSTALL and fix README.