Auto-add mCRL/ subdirectory to --with-mcrl option if needed
Auto-add mCRL/ subdirectory to --with-mcrl option if needed

(Closes #318)

utwente-fmt/ltsmin,trolando/ltsmin,vbloemen/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,buschko/ltsmin,trolando/ltsmin,thedobs/LTSmin,thedobs/LTSmin,vbloemen/ltsmin,alaarman/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,trolando/ltsmin,utwente-fmt/ltsmin,buschko/ltsmin,thedobs/LTSmin,lordqwerty/ltsmin,Meijuh/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,Sybe/composition,Sybe/composition,Sybe/composition,utwente-fmt/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,trolando/ltsmin,Sybe/composition,alaarman/ltsmin,buschko/ltsmin,alaarman/ltsmin,buschko/ltsmin