Merge branch 'gitlab-build' into 'master'

Add a build pipeline for linux binaries.

See merge request !1
2 jobs for master in 3 minutes and 58 seconds (queued for 1 minute and 18 seconds)
latest
Status Job ID Name Coverage
  Build
passed #1419
build-linux

00:03:58

passed #311
build-linux

00:08:53