did not compile for TIMER_USE_STD_CLOCK defined.

Nobody really tested this, why is it implemented then? 



[[Imported from SVN: r5252]]

common/timer.hh

@@ -79,7 +79,7 @@ namespace Dune {
 
   private:
 #ifdef TIMER_USE_STD_CLOCK
-    std::clock_t cstart
+    std::clock_t cstart;
 #else
     struct timeval cstart;
 #endif