added "-benchmark <name>" option to driver script to run only one benchmark.