[Main] Use Date.toISOString in formatTime function

I don't know why we are formatting the string in <a href="https://xkcd.com/1179/">ISO-8601</a> format, but if we are doing so, there is a much easier way of doing it.