Switch between speakers and headphones with PulseAudio (was Re: HDA jack retasking)