Update INSTALL guides for new main repo.