Merge branch 'gitlab-ci' into 'master'

Add gitlab ci config

See merge request !3
1 job for master in 1 minute and 19 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #10017
docker
build

00:01:19