Added zone labels for accepting states, and elide zone transition arrows where not neccessary.
Added zone labels for accepting states, and elide zone transition arrows where not neccessary.

katef/libfsm,katef/libfsm,katef/libfsm,katef/libfsm,katef/libfsm