Update devel/gitlab-shell to 7.1.2 required for gitlab 10.7.x

[mfechner]

Summary

Commit message:
Update devel/gitlab-shell to 7.1.2 required for gitlab 10.7.x.

Reviewed by: tz/swills (mentor)
Approved by: tz/swills (mentor)
Differential Revision: URL to this revision

Test Plan

All patches are build, you can find all build logs:
https://pkg.fechner.net/jail.html?mastername=111amd64-gitlab

The fresh packages are tested against a new installation using:
https://gitlab.fechner.net/mfechner/Gitlab-vagrant

An old version is updated following the manual:
https://gitlab.fechner.net/mfechner/Gitlab-docu