Replaced rascal-shell.jar in benchmark runner.