Remove testtools

.ci/setup_dune

@@ -163,7 +163,7 @@ for module in $MODULES; do
   fi
 
   # configure, build, and install module
-  $SUDOCMD $DUNECONTROL --opts=${DUNE_OPTIONS_FILE} --only=dune-$module all
+  $DUNECONTROL --opts=${DUNE_OPTIONS_FILE} --only=dune-$module all
   $SUDOCMD $DUNECONTROL --opts=${DUNE_OPTIONS_FILE} --only=dune-$module bexec cmake --build . --target install
 
   # we want to know where the build dir is located

.github/workflows/ci.yml

@@ -32,7 +32,7 @@ jobs:
     runs-on: ubuntu-16.04
     env:
       INSTALL_PREFIX: '/opt/smelibs'
-      SETUP_DUNE_TESTTOOLS: 'ON'
+      # SETUP_DUNE_TESTTOOLS: 'ON'
       SUDOCMD: 'sudo'
       OS_TARGET: 'linux'
       TERM: 'xterm-256color'
@@ -63,7 +63,7 @@ jobs:
     runs-on: macos-10.15
     env:
       INSTALL_PREFIX: '/opt/smelibs'
-      SETUP_DUNE_TESTTOOLS: "ON"
+      # SETUP_DUNE_TESTTOOLS: 'ON'
       SUDOCMD: 'sudo'
       MACOSX_DEPLOYMENT_TARGET: '10.14'
       OS_TARGET: 'osx'