manpage: Include man section.

This allows w3mman2html to get the right man page, since sometimes multiple
manpages exist with the same name in different sections.  It'll also be
generally useful, I think.

We need to make this more incorporated into the whole process.