Update CI scripts for Intel on Mistral: check whether the configure script...

Update CI scripts for Intel on Mistral: check whether the configure script removes '.libs' directory.

.ci/bb/mistral-dkrz/test.all.intel-17.0.6

@@ -28,6 +28,9 @@ FC="${MPIFC}" \
 MPI_LAUNCH="${MPI_LAUNCH}" \
 PKG_CONFIG_PATH="${YAXT_ROOT}/lib/pkgconfig:${PPM_ROOT}/lib/pkgconfig"
 
+# Check whether the configure script removed the '.libs' directory:
+test -e .libs && echo "ERROR: the configure script did not remove directory '.libs'" && exit 1
+
 make -j8
 
 make -j8 check || { cat tests/test-suite.log; exit 1; }