FFMPEG: Bump to version 2.4.2
Merge pull request #5460 from fritsch/ffmpeg-2.4.2

FFMPEG: Bump to version 2.4.2