Updated README.klee