Use PhTime in PhVideoEngine

Dear Martin,

This PR contains the commits related to the video engine that were in #276 before. The idea is to avoid time shifts in the engine due to conversions between PhFrame and PhTime. Since FFMPEG itself works with a "timestamp" that is not a frame number, these changes bring Joker more in line with the FFMPEG API.

Best regards,

Timothée