Since ADOL-C is not multi-threaded we will not be using OpenMP
in the foreseeable future.  And on a single-threaded code the
OpenMP timer and the Dune timer return the same values anyway.

[[Imported from SVN: r9431]]