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
try tp deduplicate PCs
use a ranged for loop; sorting the vector didn't seem like an improvement
unless I'm missing something...
support for parsing and printing split queries
add option to echo the checked replacement
Merge pull request #72 from regehr/split

support for parsing and printing split queries
Merge pull request #73 from regehr/souper-check-print

add option to echo the checked replacement
Merge pull request #71 from regehr/pc-dedup

deduplicate PCs
Fix build
sorry, I'd like to bump LLVM again, the previous version happened to be
incapable of building LLVM even without Souper due to crashing on quite
a few files.  this one builds itself just fine.
don't tell people the default is on/off since the cl::opt class doesn't accept
those strings, use true/false instead
Support for intrinsics cttz, ctlz, ctpop and bswap
Merge pull request #77 from regehr/cleanup

cmd line help cleanup
Merge pull request #76 from regehr/bump-llvm

sorry, I'd like to bump LLVM again, the previous version happened to be
tell sclang, using an environment var, to get Souper to print stats
Merge pull request #78 from jubitaneja/intrinsics-final

Support for intrinsics cttz, ctlz, ctpop and bswap
Rename all flags containing the substring -souper to have -souper at the start

This has bugged me for a while. It's pretty clear at this point that we
should be more consistent about this as we add more flags.