Disable error prone ctest report submission to inria cdash.

MacOS VM keeps failing on HTTP gateway error 502 when submitting to cdash.
We don't need CDash because the junit reports in HTML are uploaded to
gitlab so we can do all the same in one place.

CDashConfScript.cmake

@@ -114,4 +114,4 @@ endif (WITH_COVERAGE AND CTEST_COVERAGE_COMMAND)
 if (WITH_MEMCHECK AND CTEST_MEMORYCHECK_COMMAND)
   ctest_memcheck()
 endif (WITH_MEMCHECK AND CTEST_MEMORYCHECK_COMMAND)
-CTEST_SUBMIT()
+# CTEST_SUBMIT() # 2023-05-26: disable test submission because cdash-ci.inria.fr seems defective (we rather use junit report, cf. gitlab-ci.yml)