contrib/ci.inria.fr/job-1-check.sh: allow core dumping

contrib/ci.inria.fr/job-1-check.sh

@@ -18,6 +18,8 @@
 set -e
 set -x
 
+ulimit -c unlimited
+
 export PKG_CONFIG_PATH=/home/ci/usr/local/lib/pkgconfig:$PKG_CONFIG_PATH
 export LD_LIBRARY_PATH=/home/ci/usr/local/lib:$LD_LIBRARY_PATH