web/download: add FFmpeg 2.1.5