More advanced dot graph generator. Handles substates, default transitions, and hierarchal transitions to superstates as cluster boxes.
Merge pull request #12 from wsobel/dot_graph_enhancement

More advanced dot graph generator.