Platform-independent sounds

Both .mp3 and .ogg files are included, so all major browsers should be
able to play all audio.