Supply DTD on xml2rfc command line.