Migrate CIF tool precondition checkers to new common CIF checkers framework

To consider for migration:

• CIF to Supremica precondition checker (#370 (closed))
• CIF to mCRL2
  • Precondition checker (!998 (merged))
  • Instance tree verifier (to be removed in #352 (closed))
• CIF PLC code generator precondition checker (!422 (merged))
• CIF to UPPAAL precondition checker (!387 (merged))
• CIF code generator (precondition checker and Simulink precondition checker) (!792 (merged))
• CIF controller (precondition checker and determinism checkers) (!901 (merged))
• CIF explorer precondition checker (!999 (merged) and !1007 (merged))
• CIF/BDD conversion (used by data-based synthesis and controller checker)
  • Converter itself. (!990 (merged))
  • 'Plants refer to requirement state' checker (to be moved to type checker in #743)
  • Non-determinism checker (requires BDD edges, so can't be related back to original specification)
• CIF to CIF (remove requirements, ...) (can't be done due to cyclic dependencies, see #424 (comment 2552108))
• CIF simulator (!1008 (merged))
• CIF event disabler (!1009 (merged) and !1012 (merged))
• CIF event-based toolset (!1011 (merged))
• CIF to yEd (!1010 (merged))
• CIF merger (can't be done using precondition checker framework, as it concerns conflicts between different input models)