Configure CI for docker

Merged Maximilian Schanner requested to merge docker_ci into master

Merge request reports