iMC changes outside of storm-pars

[linusheck]

Draft PR containing all changes I made for iMC algorithms that are outside of storm-pars. Tests in the storm-pars part (no PR for this yet) cover most lines in this PR.

In more detail, this PR contains:

• a new function for FlexibleSparseMatrix that adds new rows
• a SchedulerTrackingHelper for iMCs and a interval (=robust) scheduler index in the minmax solvers for warm-starting
• interval support for the (Iterative)MinMaxLinearEquationSolver
• an addNotCurrentModel function for SMT solvers that adds the constraint that the current model is not a solution
• AGNUM support for Z3
• interval MC end component elimination (RobustMaximalEndComponentDecomposition, RobustMaximalEndComponent)
• optimisations in ValueIterationOperator for iMCs
• a couple more functions for storm::Interval

[sjunges]

Does this depend on #588? That PR is still not ready for merging, is it?

[glatteis]

Does this depend on #588? That PR is still not ready for merging, is it?

It doesn’t depend on that PR I‘m pretty sure, because that PR (mainly) changes things in storm-pars. The open discussion was about the behavior of the CLI flag but that is definitely in storm-pars.

[glatteis]

Ok, I see that there are indeed some changes outside of storm-pars in there, but those are not under discussion :D