Add ability to export loop as mp3

To keep this simple, we should create a server-side command that will spawn a child process that takes the current loop and streams it to disk as a wav or mp3 file.

The only thing I'm not sure of is how we will actually create this mix programmatically. I think this is going to depend on the server-side audio library we decide on.
