Report statistics about cache hits/misses, satisfiable/unsatisfiable queries,
etc.
Merge pull request #21 from regehr/stats2

report statistics
Merge remote-tracking branch 'upstream/master' into jubi-branch