configure bytecode default off for testing

Author: SkySkimmer

tools/configure/cmdArgs.ml

@@ -50,7 +50,7 @@ let default_prefs = {
   arch = None;
   natdynlink = true;
   browser = None;
-  bytecodecompiler = true;
+  bytecodecompiler = false;
   nativecompiler = NativeNo;
   coqwebsite = "http://rocq-prover.org/";
   debug = false;