Refactor SimulationChoosingStage

[favu100]

This is necessary before continue implementing https://github.com/hhu-stups/prob-issues/issues/291

Here we should first distinguish between

• Monte Carlo Simulation from SimB
• Provided timed traces (black box; potentially realized by a configuration)

The latter does not need to have a simulation to be loaded; but still it would be useful to provide a create a configuration.

We should then adapt views (including the first TextFields in the SimulationChoosingStage) to the simulation/configuration that is chosen.

Afterwards, we should distinguish between two main categories:

• Property
  • No Property
  • All Invariants
  • Predicate as Invariant
  • Final Predicate
  • Predicate Eventually
  • Timing
• (Statistical) Validation Technique
  • Hypothesis Testing
  • Estimation

The latter category only makes sense when the property is not "No Property"

[favu100]

Solved