Trivial: slight improvement in dot readability.

Add a comment to the top of each automaton in the .dot description that makes it easier to see which automaton we're dealing with.
Subautomata can't do init or cleanup.
Propagate accepting state information.