ICST 2021 version of Rebel2

This version contains the information presented in the ICST'21 'Modeling with Mocking' paper.
The corresponding AlleAlle backend can be found here: https://github.com/cwi-swat/allealle/releases/tag/jan-2021