Add mcrl2-options.txt to make distcheck pass.
Add mcrl2-options.txt to make distcheck pass.

Also, the "test" rule hack is made visible to be able
to pinpoint such errors more easily.
buschko/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,trolando/ltsmin,Sybe/composition,thedobs/LTSmin,Meijuh/ltsmin,alaarman/ltsmin,thedobs/LTSmin,Sybe/composition,lordqwerty/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,Sybe/composition,vbloemen/ltsmin,vbloemen/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,buschko/ltsmin,trolando/ltsmin,alaarman/ltsmin,Sybe/composition,alaarman/ltsmin,trolando/ltsmin,thedobs/LTSmin,buschko/ltsmin,Meijuh/ltsmin,buschko/ltsmin,trolando/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,lordqwerty/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin