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

report statistics
update TODO list
Merge pull request #22 from regehr/todo

update TODO list