Adapt to asciidoc 10 changes
    
    asciidoc 10 includes a number of packaging changes, including the
    removal of asciidoc.py aliases and the relocation of resources.
    Instead of trying to manage the latter in a compatible way, use
    xmlto instead for the xml-to-man conversion.