sql_coverage_test.py: simplified print_seconds, using datetime.timedelta
(& re.sub), per Phil’s suggestion; also slightly simplified
print_elapsed_seconds, removing the include_current_time argument, since
I don’t expect to ever need it here.