Improve README and INSTALL files