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

report statistics