Documentation: add man pages

Fixes #2844