Improved video synch to pervent backward jumps on some mp4 encoded time
stamps.
Authored by: brunoherbelin 2018-12-31
Parent: [r1861]
Child: [r1863]