Explanation of PKGBUILD for KLEE unstable based on LLVM 3.3.
Add comments in PKGBUILD for KLEE unstable based on LLVM 3.3.