Automatically convert songs to MP3.

Resolves #1.