Audio output switcher for gnome shell and pulseaudio.