vlc: Add ffmpeg version 2.3.x for vlc.

Vlc doesn't support libavcodec >= 56 yet, which means it needs an older
version of ffmpeg.

Closes #4286