gst-rubberband A GStreamer plugin for audio time-stretching and pitch-shifting using Rubber Band Library