Bash build script for KLEE on Ubuntu with LLVM 3.4. No need to
build LLVM and Clang manually.