Use a separate field for JSON timestamp to preserve fractional part.

Fixed #214
Simplify trace file timestamp playback and just use miliseconds.