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
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.
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

don't try to use the hiredis dynamic library