Fix #373 Improve properties view to edit statemachine properties

Add do/entry/exit attributes in properties view of State
Add do/entry/exit in pop-up menu on a State
Fix #373 add effects and guards in properties view
Fix #377 add submachines in state machine diagram