add AudioDeviceSpec, use in WFSOptionsGUI

it is now possible to choose an audio device from a popup menu of
existing ones in the preferences panel.