Update repo name in README and INSTALL files