dateToString
Converts a Date to a string suitable for indexing.
Return
a string in format yyyyMMddHHmmssSSS or shorter, depending on resolution; using GMT as timezone
Parameters
date
the date to be converted
resolution
the desired resolution, see .round