Doc build fix

Improve doc build process by detecting asciidoc and xmlto, and failing more clearly when they are missing