Fix broken link (due to move from ccadar/klee to klee/klee on GitHub).