Always display leading zeros for milliseconds; use decimal notation

This enables a time of "04:34.014" to display correctly. It currently displays "04:34:14"

I've also output the string to use "." to separate the seconds and milliseconds since the milliseconds are a fraction of the seconds.

The minified version will need to be updated.