added extra script for parallel jobs

usage:
./parallel-mcrl22bool [-j #threads] mcrl-file mcf-file mcf-file ...