DocExtract: wash unicode chars in xml

* Use wash_for_xml when generating the xml tree.