Compressed oldnick sounds to mp3

Converted and compressed sound files to a more efficient format, making
files at some points 5% of their original size.