Add setting to make the Git repo URL configurable

When Gerrit and Gitblit are deployed on the same server /r/ might be used by Gerrit. Add a config setting to change the shown URL to another primary URL