Leiningen plugin for rendering Docbook documents (using Docbkx-tools)