arti: Add a `logging.time_granularity` option with 1s default.
This lets us provide less information in our logs: in particular, it lets us avoid logging with microsecond precision, which provides traffic-analyzing attackers an incentive to steal our logs.
Closes #551 (closed).