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
work
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
change the serialized souper format a bit as suggested by Peter in email:
annotate each block with its number of predecessors; this simplifies parsing a
bit
Merge branch 'blockpred' into printcontext

Conflicts:
	lib/Extractor/Solver.cpp
	lib/Inst/Inst.cpp
	lib/Parser/Parser.cpp
	lib/Pass/Pass.cpp
	unittests/Parser/ParserTests.cpp