Gnome-Shell (>=3.10) Extension: Adds a switch for choosing audio output to the system menu.