Convert a timestamp to a human-readable ISO8601 format
a timestamp in milliseconds since the Unix Epoch
a newly allocated string containing the ISO8601 version of the given timestamp