Add a hack for Travis so that llvm-gcc can build native executables.
This could be useful if KLEE tests want to use the bitcode compiler
as a native compiler.