Add documentation note on emitting Dot files

[kumarshantanu]

A documentation section on emitting Dot files should be quite useful, e.g. integrating with web based Graphviz visualization using http://mdaines.github.io/viz.js/