travis: add PPA for GStreamer developers