Improve debian packaging, add a manpage.