Add Cat and Mouse Tower as benchmark model

The Cat and Mouse Tower (CMT) is an academic model used to experiment with supervisory control (synthesis).

It originates here: https://doi.org/10.1109/WODES.2008.4605932

It was used in the experiments of this paper: https://research.tue.nl/en/publications/efficiently-enforcing-mutual-state-exclusion-requirements-in-symb, which resulted in issue #198 (closed)

What is nice about the model, is that it can be scaled in size by changing some parameters. I was not able to perform this using CIF instantiation, so I wrote a Matlab script, here: construct_CMT.m . I'm not sure if or how this should be added to ESCET.

Some instances of the model can be found here: https://github.com/sbthuijsman/CASE21_enforce_requirements

There is also a modified "v2" CMT model in that github folder, which is also described in https://research.tue.nl/en/publications/efficiently-enforcing-mutual-state-exclusion-requirements-in-symb