added transition labels
added arrow heads to horizontal transition lines
can show curve control points; already have arrow heads for curved transitions
arrow head adjustments for certain distances
added start state indicator; better drawing of arrow heads