These song use Ogg Vorbis compression.  This is similar to .mp3 but better quality and free of legal risks.  For more info...

http://www.vorbis.com/