Generate proper DocBook output for manpage doctype

- emit <refsection> instead of <section> for manpages
- emit manpage-specific elements for DocBook
- make manpage DocBook output tests more complete