Added support for generating dot files for graphviz from CFGs and generating PNG previews. The code is kind of hackish atm.