Ignore for project

Better usage for mcrl22bool script and removed the named pipe and use process substitution instead