s2e1.1 for develop, add klee and qemu print to xqxlog.txt and klee-info.txt