Don't attempt to install the GStreamer developer PPA when building on Ub...

...untu 13.10