web/download: add FFmpeg 3.3.7