CI: add mirroring between kwant gitlab, gitlab.com and github.com

Joseph Westonrequested to merge
ci/repo-mirroring into master

related to qt/admin-notes#23

Use CI for mirroring instead of server-side hooks, as it is more maintainable

Merge request reports