debug, add update
Merge branch 'master' of https://github.com/mengdiwang/cloud9

Conflicts:
	include/klee/Searcher.h
	lib/Core/Searcher.cpp
merge