Add missing memUsedPeak functions to cryptominisat2 (mostly copied from minisat).
Merge pull request #55 from khooyp/add-missing-mempeakused

Add missing memUsedPeak functions to cryptominisat2 (mostly copied from minisat).