web/download: add FFmpeg 1.2.7