Another LLVM3.5 compilation fix.
Compilation fix for LLVM3.5 caused by the removal of sys::fs::F_Binary.
The commit that caused this is r202052.
Fix more LLVM3.5 compilation issues.
Fix segfault under LLVM3.5 . I forgot to release ownership of the
MemoryBuffer from the std::unique_ptr when getLazyBitcodeModule()
succesfully takes ownership.
Removed code related to underConstrained, as it is unused (issue pointed out by @hpalikareva).
Patch by Sean Bartell: "F_Binary was actually moved in LLVM 3.4 (r186447), not 3.0."
Fixes support for passing arguments to klee in the ConcreteTests.
This is for use with llvm-lit --param=klee_opts=...

Fixes lit.cfg to not have an extranous space behind the klee command.
Augments ConcreteTest to accept and pass arguments to klee.
Augments all the ConcreteTest cases to wrap %klee in quotes.

Without wrapping %klee the extra arguments will be seens as arguments
to ConcreteTest.py resulting in an unknown argument error.
Merge pull request #166 from willemp/willem/klee_opts_to_concrete_tests

Fixes support for passing arguments to klee in the ConcreteTests.
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.