Visualizer: Download *.dot file ?

The Visualizer creates a nice dependency graph including critical path highlight.

To be able to post-process the graph and output these visualizations in papers and documentation, it would be super-useful to have a download button that generates a standard `graphviz` file (`*.dot` format).