Add custom precompiled mCRL2.
Add custom precompiled mCRL2.

The ones on the mCRL2 website don't seem to work.

alaarman/ltsmin,trolando/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,trolando/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,trolando/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,trolando/ltsmin