DocBook reader:  Better handle elements inside code environments.

Of course, we can't include structure in the code block, but
this way we at least preserve the text.  Closes #1449.