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
Merge pull request #69 from regehr/bump-klee

bump Klee version, LLVM version, Hiredis version, build and install only the static hiredis lib
a script for invoking souper

for my locla use only
also accepts an .ll file
tweaks