Add lit-based integration test infrastructure

Also add a few integration tests for the solver interface and the pass.
Merge pull request #28 from regehr/master

cache souper queries in a Redis DB