Merge pull request #11 from bernt-matthias/gitlab-docker-ci

Update github sync workflow, switch to docker, add gitlab CI for building docker container and push to registry
2 jobs for v1.2 in 19 minutes and 46 seconds (queued for 1 second)
latest