Updated better usage for the mcrl22bool tool

You can use '-m' option to give options to the mcrl22lps tool.
Example: mcrl22bool -m"-lregular2" mcrlfile "<true>true"