ENHANCEMENT: choose time measurements

The user can now choose whether to use the time measurement of the
runsolver or the time returned by the target algorithm. This feature
is necessary to do Bayesian Optimization with pre-evaluated grid points.