Improve sound
Pain points:
- engine sound is garbled
- increasing the number of channels increases the pitch of the engine sound
- there is noticeable latency for the pushbutton effects (countdown, cycle turn)
- use SDLMixer for engine sound, retire manual mixer (even though that one just got improved...)
- spatial sound for cycle turn sounds
- doppler effect for the engine?