Merge branch 'feature/debian_package' into 'master'

Feature/debian package

See merge request !20
12 jobs for master in 96 minutes and 39 seconds (queued for 2 seconds)