Add millisecond support to time formatter.

Added %f as additional formatting char for catcierge_strftime.