renames StateMachineConfig to WorkflowConfig; adds event preconditions
adds event_allowed? and get_editable_data to WorkflowConfig