kleestr-release

With "str.len" constraint support. Steps to follow:

1. cd /tmp
2. tar -zxvf kleestr-release.tar.gz
3. source ./setup.sh
4. cd strlen
5. sh run.sh .c

NOTE: Download and deflate the kleestr-release.tar.gz to /tmp only

---

General steps to use klee with metasmt:

a. Generate llvm bitcode file using llvm-gcc
b. klee --use-metasmt=cvc4 --use-forked-solver=0 --use-cache=0 --use-cex-cache=0 <bitcodefile.o>