Add generation of manpages
Fix a few cosmetic issues