Added much tidier graphviz export. It now lays out much more cleanly and applies different styles to various nodes.