Add a typeclass for things that can be shown in graphviz

Will add instances soon
Make CFG an instance of ToGraphviz
Make the dominator and postdominator trees instances of ToGraphviz