Audio device selector

This cleans up the previous versions by @Fahrradkette and @Mailaender and combines the sound engine and device preferences into one dropdown.