Adding print_timing decorator.