Tools upgrade

This pull request updates the build system so that it uses the new DocBook XSLT 2.0 stylesheets and other modern tools. It isn't supposed to change the content of the spec in any significant way.