Set appropriate params for man_pages generation.

`sphinx` can generate not only HTML docs but also man pages. Let's see
how far we can go to replace the more or less manually crafted man page
we provide currently.