contrib: stash files (tar.gz and documentation) on successfull completion

contrib/ci.inria.fr/Jenkinsfile-basic

@@ -14,6 +14,12 @@ pipeline
 				{
 					checkout scm
 					sh 'contrib/ci.inria.fr/job-0-tarball.sh'
+					script
+					{
+					       env.tarballgz = sh (script: 'ls *.tar.gz', returnStdout: true).trim()
+					}
+					stash includes: "${env.tarballgz}", name: 'tarballgz'
+					archiveArtifacts artifacts: "${env.tarballgz},doc/doxygen/starpu.pdf", fingerprint: true, onlyIfSuccessful: true
 				}
 			}
 		}