Use asciidoc input to create xml2rfcv3 XML