Function globals io writexml

Writes a property tree as returned by readxml() to a file. Children
with name starting with <prefix> are again turned into attributes of
their parent. <node> must contain exactly one child, which will
become the XML file's outermost element.