Audio device selector

This cleans up and builds on the previous versions by @Fahrradkette and @Mailaender.
The sound engine and device preferences have been combined into a single dropdown.