Add a repeat function when playing audio files.

I’d take a random playback function too, but this is secondary for me.