add info about GitLab.com
As this repo is public, it might be nice, to add info about the project being also hosted on gitlab.com, what is done there and which work is done here.
Edited by Stefan Kirsch
Please note that git.rz.uni-jena.de is deprecated and will be disabled on October 1. Please update your repo URLs if git.rz.uni-jena.de is still used.
You can check it with "git remote -v" for each repo, and change it with "git remote set-url origin git.uni-jena.de", if necessary.
As this repo is public, it might be nice, to add info about the project being also hosted on gitlab.com, what is done there and which work is done here.