Add vlc_strcasestr()