Audio output switcher for gnome shell and pulseaudio. WWW: https://github.com/anduchs/audio-output-switcher