Efficiency improvement: Let FFmpeg/Libav handle the resizing.

Reduces the amount of temporary disk space used. Improves the speed of
frame extraction and gif encoding (less to write to/read from disk).