web/download: add FFmpeg 2.5.2