OPM/opm-benchmarks — pull request #9 by laods (2013-04-22 18:25:08+00:00)
Title: Fix segmentation fault when running multithread

Redirect unwanted output to a stringstream rather than /dev/null,
which has caused segmentation faults.

Also, progress asterixes are removed as they did not work as supposed to.