Added verbose logging of table lists, plus a -t/--print-timestamps option.
OK, now all print statements honor -t/--print-timestamps (not just verbose_print).
Fix table-listing output.