Add config option to allow/disallow logging

src/config.js

@@ -67,3 +67,8 @@ var APIC_TIMER_FREQ = TSC_RATE;
 
 /** @const */
 var VMWARE_HYPERVISOR_PORT = true;
+
+/** @const
+ * Whether the coverage logger should be enabled under the appropriate conditions
+ */
+const COVERAGE_LOGGER_ALLOW = true;

src/coverage.js

@@ -6,7 +6,7 @@ const Buffer = is_env_node && require("buffer")["Buffer"];
 /** @constructor */
 function CoverageLogger()
 {
-    this.ENABLED = DEBUG && is_env_node;
+    this.ENABLED = COVERAGE_LOGGER_ALLOW && DEBUG && is_env_node;
     if(!this.ENABLED)
     {
         return;