make time.hpp obsolete (time_this defined in terms of benchmark)