Support timestamps with milliseconds

Use date-time formatter instead of date-time-no-ms. date-time also handles
timestamps without milliseconds, so we don't lose anything by using it.