Inria CI: use a timeout, take #2

Let's try with a very short timeout, to make sure the job will exceed it.

tools/ci/inria/other-configs/Jenkinsfile

@@ -19,9 +19,7 @@
 
 pipeline {
   agent { label 'ocaml-linux-64' }
-  options {
-    timeout(time: 1, unit: 'HOURS')
-  }
+  timeout(time: 2, unit: 'MINUTES') {
   stages {
     stage('Testing various other compiler configurations') {
       steps {
@@ -29,6 +27,7 @@ pipeline {
       }
     }
   }
+  }
   post {
     regression {
       emailext (