* mln/util/timer.hh: Rely on the default copy constructor and the default (copy-)assignment operator.