Move compiletest test run to mingw-check builder

This way, checktools.sh continues to be used only for tools that are
published later on.

Author: phansch

src/ci/docker/mingw-check/Dockerfile

@@ -21,4 +21,5 @@ RUN sh /scripts/sccache.sh
 
 ENV RUN_CHECK_WITH_PARALLEL_QUERIES 1
 ENV SCRIPT python2.7 ../x.py check --target=i686-pc-windows-gnu --host=i686-pc-windows-gnu && \
-           python2.7 ../x.py build --stage 0 src/tools/build-manifest
+           python2.7 ../x.py build --stage 0 src/tools/build-manifest && \
+           python2.7 ../x.py test --stage 0 src/tools/compiletest

src/ci/docker/x86_64-gnu-tools/checktools.sh

@@ -37,11 +37,6 @@ python2.7 "$X_PY" test --no-fail-fast \
     src/tools/rls \
     src/tools/rustfmt \
     src/tools/miri \
-    src/tools/compiletest
-
-# Note that compiletest here is an exception from the other tools.
-# We are only executing the unit tests of it. We don't need to track the
-# toolstate because it's not distributed as a tool like the other items.
 
 set -e