mp3s posted

i finally gave in and posted mp3 versions of all the songs in the music section.  a few of them had to be transcoded from the ogg encodings, since the source audio is gone forever, but the quality loss doesn't seem to be too bad. in related news, mediacoder is an incredibly handy little program.