Switch FFmpeg to GitHub mirror, prefer HTTP(S)

FFmpeg's own site tends to be overloaded/slow at times, and
using HTTP(S) avoids trouble with fascist firewalls.