build: do distcheck for the host tools

This allows to detect missing files in the release tarballs.

Change-Id: I2352d99a91079e027ca9827c10663212a3f6292f

contrib/jenkins.sh

@@ -87,7 +87,7 @@ cd $TOPDIR/host
 autoreconf --install --force
 ./configure --enable-sanitize --enable-werror
 $MAKE $PARALLEL_MAKE
-#$MAKE distcheck || cat-testlogs.sh
+$MAKE distcheck || cat-testlogs.sh
 make dist
 
 #if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then