Add a timer based on std::clock for backends with no special timing
functionality.