minor speed optimizations (as a result of profiling)

lib/core/defaults.py

@@ -12,7 +12,7 @@ from lib.core.datatype import AttribDict
 _defaults =  {
                "timeSec":      5,
                "googlePage":   1,
-               "cpuThrottle":  10,
+               "cpuThrottle":  5,
                "verbose":      1,
                "cDel":         ";",
                "delay":        0,

lib/core/option.py

@@ -1397,6 +1397,7 @@ def __setKnowledgeBaseAttributes(flushAll=True):
     kb.delayCandidates = TIME_DELAY_CANDIDATES * [0]
     kb.dep = None
     kb.docRoot = None
+    kb.dumpMode = False
     kb.dynamicMarkings = []
     kb.dynamicParameters = False
     kb.endDetection = False