Jenkins configuration files for http://gstreamer.bugsfree.org/