Here is my patch to promote FFMPEG in VLC

This patch make VLC use FFMPEG before other codecs and force VLC to use FFMPEG instead of libmp4 to demux MP4 since libmp4 don't support HEVC yet.