Implement docbook output with ?ctype-docbook.

This isn't a very good implementation at the moment, as it relies on
passing around the docbook renderer. It's not very scalable. But at
least it works - next on the to-do list is some sort of renderer source.