In the data file, store begin and end times in microsecond precision

This will be necessary for videos with a non-integer frame duration, in milliseconds.