Implement state machine nodes

[q-soriarty]

Add state machine support to the visual editor: state nodes, transition edges with conditions, entry/exit actions, and nested states. Generate corresponding Structured Text code.