Improved debian packaging

A bunch of patches to correct and improve packaging, installation and usage for debian.