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.
Merge branch 'travis_icon' of https://github.com/delcypher/klee
Fix when we decide to "not exit on command error". We were doing this
too late so if the unittests failed the lit tests would not run.
Clean up travis build scripts a little.