Merge branch 'issue/22' into 'development'

Issue #22: Add binary file to gitlab artifact

See merge request !120
7 jobs for development in 32 minutes and 55 seconds (queued for 3 seconds)
latest