Converts DOT graph files to Graphml (an XML DTD that is used by the yEd graph editor) and other formats.