Switch KLEE Docker to LLVM3.4