Delete klee-src.md