Speed up ffmpeg cloning.

No need to do a full clone if we just want to compile ffmpeg.
It's a 7× speedup on my desktop, way more if you clone it from a Rpi.