Seconds granularity is too coarse to understand what is
happening, so add microseconds. In return, the date
is dropped to keep the lines short.

Old format:
  2016/03/14 18:19:38 Dispatch: OPENDIR, NodeId: 1.

New format:
  18:18:35.988071 Dispatch: OPENDIR, NodeId: 1.