Export the graph in a dot file