PulseAudio script to mix mic and application audio streams.