Add a PulseAudio output driver.

For some reason, using libao was slow and didn't work well on my raspberry pi.
This patch adds a new PulseAudio output driver. It uses libpulse's synchronous API.