Added support for printing ref<Expr> to llvm::raw_ostream
Added KLEE_DEBUG() macro. It's main purpose is to only print out
comments when -debug-only=klee is passed AND we have a debug build.
Switched to new debugging infrastructure in handleSetWorkItemID()