They are .ogg files. While I could give you some instructions on codec and the like, I'm going to give the easy way:
Download a program called "VLC Player". It will play almost any sound or video format, encoded with almost any codec. It's easier than messing arround. It's like Windows Media Player, but better. (Except for the interface, but that isn't really important)