DocBook reader:  Better treatment of formalpara.

We now emit the title (if present) as a separate paragraph
with boldface text.

Closes #1215.