The debian packaging files has been moved to the separate branch
'debian' according to established debian workflows.
