script now uses the $PBES2BOOL_OPTIONS variable for options.

Needed to get timings results from the --timings option in pbes2bool
removed obsolete mcf file