Merge branch 'hotfix-debian_package_name' into 'master'

Debugging the package name on debian and moving artifacts for convenient user download

See merge request !15