v0.2.24

Changelog:

• Added a Settings -> Sound audio driver selector.
• Audio driver choices are filtered by platform and apply after restart.
• Auto now avoids known problematic backends where possible, including PulseAudio by default on Linux.