Merge branch 'gitlab_url_change' into 'master'

gitlab URL change to gitlab.nic.cz

See merge request !82
2 jobs for master
in 47 seconds and was queued for 2 seconds