Anyone know of any video player apps that will work with a good amount of codecs (divx, xvid, h264, mkv, ogg, etc) that has the option to use the hdmi out to a TV? the stock player is a little hit and miss when it comes to hdmi out when i use, sometimes it will just freeze on a black screen but...