to_dot should visually indicate start states and final states

[chuckremes]

If a machine specifies an initial starting state, the dot output should also indicate that somehow (bolder border?). Also, final states (those that only contain a default event statement or no event handler at all) should also be highlighted somehow (double border?).