add gentags.sh

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

Conflicts:
	klee/examples/bench_test/bench_test.c

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