Simple tool that converts nroff I-D sources into xml2rfc format (xml)