More control over debug information

Added a new command line flag -souper-debug-level

* added one more cmdline option -souper-debug-level which
  controls the verbose level of debug message. The larger
  the number is, the more verbose message is generated.
  The default level is 1.

* when the souper-debug-level is larger than 1, then dump all
  replacements that collected by souper before they are processed
  by KLEE. The existing debug-souper behavior will not be affected
  if we do not pass a level higher than 1.