web/download: add FFmpeg 2.3.2