Update the README and INSTALL files