A small converter from some different video files to webm