Fix installation of README.Debian
Improve documentation, and add manpages.