xfce4-mixer: add pulseaudio support