moves-rwth/storm: v1.12

Support for verifying IDTMCs. Extended DRN file format: Use --io:digits option to control precision of floats. Reading from and writing to compressed DRN files (use .drn.gz / .drn.xz file extensions and/or the new --compression option) (requires libarchive). Added @value_type to determine the type of the parsed values. Support for parsing of DRN interval models. Multi-objective model checking: Multi-objective model checking in --soundmode handles approximation errors correctly. Added --multiobjective:approxtradeoff setting to control Pareto curve approximation heuristic. Extended support for multi-objective properties: distinguish between trade-off and lexicographic properties, introduce multilex(..) syntax for Prism-style properties. storm-pars: Added BigStep transformation. Added generalized parameter lifting. Support for not graph-preserving regions and for not well-defined regions. Region verification API uses RefinementOptions. Support build without DD support. Added state-valuation transformer. Preparation for using probability matrix in CTMC bisimulation. Revised check for probabilistic transition matrix. ConstantsComparator no longer depends on global state. New (optional) dependency: libarchive which supports directly reading/writing from an archive. Updated dependencies: carl-storm, Eigen, ExprTk, gmm, googletest, Gurobi, parallel-hashmap, Spot. Bug fixes in returning rate parameters and requiring MultiObjectiveSettings. Developer: modernized CTMC helpers. Developer: general code clean up such as revising includes, assertions and CMake defines. Developer: CI treats compiler warnings as errors.