Update github sync workflow, switch to docker, add gitlab CI for building docker container and push to registry