output dot file (for graphviz)