nanshe/debugging_tools.py: Added better support for the to_print_time option.