mediacodec: Handle VC1

This is tested to be working on Galaxy S3 on 4.1.2 (and
on 4.1.1 as well).

(WMV3 doesn't seem to work though, even after reformatting the
extradata as in the omxil decoder, MediaCodec.configure()
throws an exception.)
Signed-off-by: Jean-Baptiste Kempf <jb@videolan.org>

modules/codec/omxil/android_mediacodec.c

@@ -195,6 +195,7 @@ static int OpenDecoder(vlc_object_t *p_this)
     case VLC_CODEC_H264: mime = "video/avc"; break;
     case VLC_CODEC_H263: mime = "video/3gpp"; break;
     case VLC_CODEC_MP4V: mime = "video/mp4v-es"; break;
+    case VLC_CODEC_VC1:  mime = "video/wvc1"; break;
     default:
         msg_Dbg(p_dec, "codec %d not supported", p_dec->fmt_in.i_codec);
         return VLC_EGENERIC;