Added mcrl22bool file (only works on linux/mac)

usage: $ mcrl22bool mcrlfile formula
Example: $mcrl22bool bridge.mcrl2 "<true>true"