These tests require --optimize=false to run successfully.
Add TravisCI testing infrastructure files.
test/lit.site.cfg is never deleted, leading to misconfiguration errors.
Some additional cleaning in test/Makefile
Merge pull request #148 from delcypher/travis_testing

Add TravisCI testing.
 - Needs various cleanups, but merging now so we can enable for the primary repository and continue iteration there.
Add KLEE specific DEBUG macros.

 - This allows us to build in +Asserts mode even when LLVM isn't (by disabling
   the checks in that mode).

 - Eventually it would be nice to just move off of LLVM's DEBUG infrastructure
   entirely and just have our own copy, but this works for now.

 - Fixes #150.
Small edits to test the Travis CI trigger.
Enable ASSERTS in Travis builds.
[Travis] Propagate make flags to unittests build as well.
[Travis] Also propagate make flags to 'lit.site.cfg' build.
[Solver] Ensure shared memory allocation failures are reported as errors, not asserts.
[Solver] Tune down the shared memory region size on Darwin.

 - See comment, this is a gross workaround for Darwin's very small default limit
   on shared memory size. I'm not sure how big of a counterexample users can
   actually expect STP to solve in practice -- if there is a practical use for
   larger ones it would probably be good for us to write a fallback strategy.
[test/Concrete] Update LLVM IR syntax.
[test/Concrete] Remove the Invoke*.ll tests.

 - LLVM changed the exception handling semantics a lot, and we can't write
   compatible tests across the versions. Unfortunately I am afraid this probably
   also means KLEE's exception handling semantics are broken for LLVM 3.4+, but
   our C++ support is spotty at best. These tests should probably be replaced
   with ones in a source language that supports exceptions if and when someone
   wants to make that work.
[tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines.

 - You can now make tests disabled, or expected to fail, by writing something like:

     // XFAIL: llvm-3.4

   or

     // REQUIRES: not-llvm-3.4

 - This mechanism doesn't support version comparisons, it is mostly intended to
   help with switching over to new LLVM versions and incrementally working
   through the test failures.
[Core] Fix implementation of FRem for LLVM 3.3+, which was wrong (caught by FloatingPointOps.ll).
Upgrade ConcreteTest.py to work with Python3 (Python 2.7.x should still
work)
Add Travis build status icon/link
Remove dependence on the bc tool. Use python instead because we are
already dependent on it.
Merge branch 'remove_bc_dependency' of https://github.com/delcypher/klee
[Travis] Disable Write2 on Travis with LLVM-3.4 for now, to see if this prevents the hang we are seeing.