* Readded print knowledge functionality. To make this go as quickly a…

…s possible in the common case (not printing KB), we're not adding records to the KB (removing the mutex cost) and loading it again later, basically, with load_context

tools/stk_inspect.cpp

@@ -584,6 +584,7 @@ int main (int argc, char ** argv)
 
   if (print_knowledge)
   {
+    kb.load_context (load_checkpoint_settings);
     std::cout << "Printing final KB:\n";
     kb.print ();
   }
@@ -601,7 +602,7 @@ int main (int argc, char ** argv)
   else
   {
     std::cout << "Result: FAIL\n";
-    
+
     return 1;
   }
 }