Added get_lap_time() to Timer; returning the time taken between the last start()/stop() cycle.