--stats-every-query option: print increment in addition to cumulative value of each stat

the increment is printed in parantheses at the end, e.g.
sat::decisions, 100 (50)
Merge pull request #11 from kbansal/improve-stats-every-query

--stats-every-query option: print increment in addition to cumulative va...