Fix sampling-based synthesis techniques, make the CTMC model checker aware of constants defined in modules and properties files.
Write down a TODO about a sampling optimisation.
Error when the lower/upper bound specified via CLI is not a double.
Better formulation of an error message.
Add help messages. NB: *-sampling switches renamed to *-sample
Introduce setting specifying the number of iterations for partial examination.
Clean-up PSE-related imports in Prism.java
AbstractMinMaxSynthesis -> OptimisingSynthesis