Merge branch 'issue/22' into 'development'

Issue #22: Add binary file to gitlab artifact

See merge request !120
7 jobs for development in 30 minutes and 18 seconds (queued for 2 seconds)
latest