here's a patch that should get you half way to what you want

it works out the total time of the video, and also has a 'progress bar' showing the relative position while playing (a separate slider can be clicked on to jump to a point in time...)

You need to know the timescale of the loaded movie, which you can get with the message 'gettimescale'.