Optional label argument for transition decorator (merge of martijnvermaat a994491)
Added styling to start and accepting states, added labels to edges. If the state is provided as a list of choices then the display name is used within the node.