update gitignore
Signed-off-by: xqx <xqx@klee.(none)>
Merge branch 'master' of https://github.com/xqx12/Klee-test

Conflicts:
	klee/lib/Core/Executor.cpp

Signed-off-by: xqx <xqx@klee.(none)>