Important notice: To run the benchmarks correctly, you need to compile DOLFIN
with option --enable-optimization. Compiling DOLFIN with --enable-debug will
slow down some of the benchmarks considerably.
