debian packaging
Merge branch 'debian' into developing