timeToString
Converts a millisecond time to a string suitable for indexing.
Return
a string in format yyyyMMddHHmmssSSS or shorter, depending on resolution; using GMT as timezone
Parameters
time
the date expressed as milliseconds since January 1, 1970, 00:00:00 GMT
resolution
the desired resolution, see .round