Merge pull request #51 from rsas/issue33

Don't create sext insts of equal width (#33)
add support for profiling Souper optimizations by incrementing a Redis variable
by the number times each optimized location executes

add "sclang", a compiler driver that makes it easier to build code using the
Souper pass
Build fix for GCC 4.9
Add missing test dependencies
turn on internal caching by default, as this often helps performance and does
not seem to ever hurt
Merge pull request #53 from regehr/cache-on

turn on internal caching by default, as this often helps performance and...
bump LLVM version
Merge pull request #56 from regehr/bump-llvm

bump LLVM version
Apply UB constraints only on the relevant Phi branches

This patch fixes the unsoundness issue #13.
Add souper-check tool

This tool is based on souperweb-backend.cpp, but it's
intended to be run from the command line.
Merge pull request #60 from rsas/souper-check2

Add souper-check tool
Skip phis with one operand (issue #61)
Merge pull request #64 from rsas/issue61

Skip phis with one operand (issue #61)
bump Klee version

bump LLVM version

bump Hiredis version

install the Hiredis static library and include files by hand; do not build the
shared lib