Build with WITH_DBG_RUNTIME=false in ./bin/travis-ci

The debug runtimes are unused on TravisCI; this avoids unnecessary
build time.

Author: MatthewFluet

bin/travis-ci

@@ -19,7 +19,7 @@ fi
 MLTON_RUNTIME_ARGS="ram-slop 0.90"
 
 echo "Building MLton..."
-make CC="$CC" OLD_MLTON_RUNTIME_ARGS="$MLTON_RUNTIME_ARGS" MLTON_RUNTIME_ARGS="$MLTON_RUNTIME_ARGS" MLTON_COMPILE_ARGS="$MLTON_COMPILE_ARGS" all
+make CC="$CC" OLD_MLTON_RUNTIME_ARGS="$MLTON_RUNTIME_ARGS" MLTON_RUNTIME_ARGS="$MLTON_RUNTIME_ARGS" MLTON_COMPILE_ARGS="$MLTON_COMPILE_ARGS" WITH_DBG_RUNTIME=false all
 
 if [ "$REGRESSION" == "true" ]; then
 echo "Running regression tests..."