Updating the coral, users, and git modules with bug fixes.
Fixing the cluster repository name in the bootstrap profile.