Adjust install script to install the exact version of mCRL2 that was used.