Set up /mnt/jenkins/repositories.

This is the future home of all git repositories: rather than having
them live in each individual workspace, they'll live here, and each
jenkins workspace will share them (using git new-workdir).

Auditors: chris

Test plan:
Ran the two new commands manually.