Update INSTALL guides for new main repo.

As per title.