gnome3: enable pulseaudio by default
Merge pull request #2293 from lethalman/gnome3

gnome3: enable pulseaudio by default