Debian packaging

This is just for information, do not merge as it should live in a dedicated branch.

This is against 1.0.0. I'll update it as soon as there is 1.1.0.