OFStateManager: document state transitions for flow entries