Gitolite: Mirror infrastructural repos in GitLab (#49)

While migrating from Redmine/Gitolite to GitLab, we want to maintain
total control of the public repositories that can modify our
infrastructure, so we mirror them in GitLab.