Rework build system to use new DocBook stylesheets