Update user manual to refer to DocBook 5

Since the default docbook backend is DocBook 5, general discussions of the docbook backend should be updated accordingly. Also, I updated an (the only?) example of DocBook output to be 5.0.