Video: direct conversion using ffmpeg.

Double the vertical resolution.