export to dot (graphviz)