Ability to configure hostname for Vagrant boxes #6
Description
Devhub needs to know it's hostname (and the hostname for the git server), in order to access the git server and produce the right clone urls and links in email templates. The hostnames can currently be set in devhub-server.properties and git-server.properties, but this could be made a little easier.