State Machine Simulator

[pchrszon-dlr]

This PR adds a simulator for the stepwise execution of state machines.

How to use:

• Open the simulator view using Window > Show View > Other... > Virtual Satellite > State Machine Simulator
• Select one or more state machines, either in the VirSat Navigator or in a state machine diagram. Selecting a structural element works too. This will select all contained state machines.
• The simulator should show the combined initial state of the state machines.
• On the right side of the simulator, transitions can be selected and executed using double-click or the forward arrow in the action bar.
• The backward arrow removes the last transition from the trace.
• After a transition has been made, the simulator no longer reacts to new selections of state machines. To start a new trace using other state machines, click on the Clear Trace button and then select a new set of state machines.
• If a state machine diagram editor is open during the simulation, the currently selected state and the selected transition will be highlighted in the diagram. Clicking a transition label in the diagram will select the corresponding transition in the simulator.

Closes #1044

[codecov]

Codecov Report

Merging #1158 (bac3b3c) into development (81b14ce) will decrease coverage by 0.15%.
The diff coverage is 66.41%.

❗ Current head bac3b3c differs from pull request most recent head 6d831cc. Consider uploading reports for the commit 6d831cc to get more accurate results

Additional details and impacted files

@@                Coverage Diff                @@
##             development    #1158      +/-   ##
=================================================
- Coverage          86.87%   86.72%   -0.15%     
- Complexity          5145     5181      +36     
=================================================
  Files                629      632       +3     
  Lines              25659    25793     +134     
  Branches            2331     2346      +15     
=================================================
+ Hits               22290    22368      +78     
- Misses              2584     2636      +52     
- Partials             785      789       +4     

Files	Coverage Δ
...n/statemachines/statespace/StateSpaceExplorer.java	88.11% <88.11%> (ø)
...extension/statemachines/statespace/TraceState.java	0.00% <0.00%> (ø)
...tension/statemachines/util/StateMachineHelper.java	0.00% <0.00%> (ø)

... and 4 files with indirect coverage changes

[franzTobiasDLR]

Looking awsome!!