Rework debian/, following current best practices