Simulation of steady-state properties

The simulator (modes tool, Simulation project) currently only handles transient properties: reachability probabilities and expected rewards. We need to add support for steady-state properties (the S operator in CSL), both for classic Monte Carlo simulation as well as for rare event simulation.