checking whether using HTML5 or flash; adjust playback rate to synchronize the videos if possible; in favor of seeking (contributed by rrolf); more precise synchronization; misc bug fixes