fix stupid bug in reducer

remove a debug printout

assert that souper-check likes the initial input to the reducer
Invoking PrintReplacementLHS for dumping all replacements

Because RHS is NULL after we switched to infer mode,
we need to use PrintReplacementLHS rather than PrintReplacement.
Otherwise, souper pass would crash by passing -souper-debug-level=2.
Merge pull request #100 from chenyang78/debug_level

Invoking PrintReplacementLHS for dumping all replacements
Fixed divide-by-zero crash for issue 84

We can't pass a constant zero as a divisor when building KLEE expressions,
because KLEE invokes llvm::APInt's div functions, which crash on zero value
divisors.

To fix this, when we build a div/rem expression, we fist check if the second
oprand is klee constant 0. If it is, then it definitely causes UB, and we
simply skip building the corresponding KLEE expression and just return a
constant zero.
Merge pull request #99 from regehr/reducer-fix

reducer fixes
Merge pull request #102 from chenyang78/issue_84

Fix to Issue #84
cleanup a few overlong lines and trailing ws, etc.
remove the isTriviallyInvalid() solver
Merge pull request #105 from regehr/remove-istriviallyinvalid

remove the isTriviallyInvalid() solver
Merge remote-tracking branch 'origin/master' into cleanup
Merge pull request #104 from regehr/cleanup

cleanup a few overlong lines and trailing ws
hide Redis in a KVStore class

perform static profiling properly

take the port number of the Redis server from the command line

N.B. static profile counts for non-optimizations are off by 5x for the opt pass,
because the pass runs 5 times. I don't think we care since optimizations and
non-optimizations will always be ranked separately. profiling of
non-optimizations is a niche use case anyway.
Merge pull request #103 from regehr/redis-refactor

redis refactoring
Merge remote-tracking branch 'upstream/master' into extract-insert