contrib: new file for running pipeline on ci.inria.fr

contrib/ci.inria.fr/Jenkinsfile-basic

@@ -0,0 +1,20 @@
+#!groovy
+
+pipeline
+{
+	agent none
+
+	stages
+	{
+		stage('Tarball')
+		{
+			steps
+			{
+				node('autotools')
+				{
+					checkout scm
+				}
+			}
+		}
+	}
+}