DocBook reader: Handle menuchoice elements better.

They are now rendered with a `>` between them.
Closes #1817.