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 and instance tree verifier)
• CIF PLC code generator precondition checker (!422 (merged))
• CIF to UPPAAL precondition checker (!387 (merged))
• CIF code generator (precondition checker and Simulink precondition checker)
• CIF controller (precondition checker and determinism checkers)
• CIF explorer precondition checker
• CIF data-based synthesis (converter maybe, plants refer to requirement state checker)
• CIF to CIF (remove requirements)