Merge branch 'docker' into 'devel'

Add Dockerfile

See merge request !8
2 jobs for devel in 7 minutes and 42 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Build Docker
passed #486800
dind
build_docker_image

00:04:35

 
  Build And Test
passed #486801
build_and_test

00:03:06