In the mean time, I just managed to do it using VLC.
In VLC
-
Drop the mp4 into the playlist.
-
Hit the play button and the paused it.
-
Go up to the playback menu and set the playback speed to in this case 3.01x
-
Go back to the video and hit stop.
-
Go up to the File -> Streaming /Exporting Wizard…
-
Select Transcode/Save to file
-
click Next
-
Choose you video in the existing playlist item
-
click Next
-
Transcode video to MPEG-4 Video
-
click Next
-
click Next again.
-
Choose your destination to save the file ( adjust the output name where needed )
-
click Next
-
click Finish
In the playlist you will now see a streaming/Transcode wizard item
- Select it and hit play.
The new video will now be exported at the speed you set. You can see an example in this post (scroll down a bit )
Note for future video playback in VLC you will need to reset the playback speed.
Tip.
If you want the exported video as a animated PNG or gif.
Open up a new Hype project.
Drop the video on to the scene.
Adjust the scene background colour and size as needed.
Then use the export as normal.