Create push-to-gitlab.yml

Created by: lehmann-ju

this workflow push all changes of the master branch on github to the default branch of gitlab you only need to add a secret in your Settings (name=GITLAB_ACCESS_TOKEN) you need to ask Norman or me for the access token