Fix manpages

This fixes all of the manpage formatting issues reported by groff, Debian's lintian, as well as a checker-script which I wrote.