Audio output switcher for gnome shell and pulseaudio.

WWW: https://github.com/anduchs/audio-output-switcher