About the sound format

I think we should stick with .wav for now because I have the code working to play those, but I can't get .mp3's playing. I'll let you know if this changes.