Rework PulseAudio device list management

It's now populated once, and then updated in response to events from the
server. This also tracks the default devices reported in the server info, now
supporting the events for the default devices changing.