Which program is best to play .mkv and .avi files on my raspberry pi running Raspbian? A light application would be preferred.

Making a media player from Raspberry Pi - Hardware (http://www.homecinemachoice.com/news/article/making-a-media-player-from-raspberry-pi/16617)