INSTALL: Add a link to the public git repo.