Merge pull request diffblue#395 from diffblue/add_verbosity_to_cmdline

Add verbosity level to cmdline.

Author: marek-trtik

src/taint-analysis/taint_config.cpp

@@ -235,7 +235,11 @@ void taint_build_cmdline_from_config(
   else
     cmdline.set("lazy-methods");
 
-  auto attr_it = cfg.object.find("program");
+  auto attr_it = cfg.object.find("verbosity");
+  if(attr_it != cfg.object.cend())
+    cmdline.set("verbosity", attr_it->second.value);
+
+  attr_it = cfg.object.find("program");
   if (attr_it == cfg.object.cend())
     return;
   const std::string program_json_fname=