pp_timed_printf is a great resource, but we need to temporarily
silence diagnostic printing in  time_ops.get, in order to be able to
tell stamping-related calls to just printf-related ones.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>