Switch mp3 decoder over to coreaudio.

Fixes #14 and #16.

Leaving the mpg123-based mp3 decoder in the source tree for now, in
case this secretly breaks everything horribly.