Add PulseAudio backend to SuperCollider#11

Open

llloret wants to merge 7 commits intosupercollider:mainfrom

llloret:pulseaudio

Commits on Jul 3, 2020

Commits on Jul 10, 2020

Update the RFC with the current status
llloret
authored

Commits on Jul 12, 2020

Highlight the fact that we are using RtAudio
llloret
authored

Commits on Jul 14, 2020

Updated the RFC
llloret
authored

Commits on Jul 15, 2020

More information about the backend selection
llloret
authored

Commits on Jul 21, 2020

Information about the options to include rtaudio
llloret
authored