#1220 CIF to mCRL2: support state/event exclusion invariants

• Best to review per commit.
• End-user visible changes:
  • CIF to mCRL2 now supports state/event exclusion invariants.
• Other changes:
  • CifToMcrl2Transformer: fixed a comment.

Addresses #1220 (closed)