Revert "contrib/ci.inria.fr: only build on recent versions of debian"

This reverts commit 2381da9cb4caaa00c232976e02a9837b1200af8b.

contrib/ci.inria.fr/Jenkinsfile-basic

@@ -62,7 +62,7 @@ pipeline
 			{
 				script
 				{
-					labelToSelect = 'unix2'
+					labelToSelect = 'unix'
 					listOfNodeNames = jenkins.model.Jenkins.instance.nodes.collect
 					{
 						node -> node.getLabelString().contains(labelToSelect) ? node.name : null