Added KLEE README file.