Bash build script for KLEE on Ubuntu with LLVM 2.9.