How to convert video on python without ffmpeg. I know just the thing...