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

Since 0aea31b broke compilation on OS X (and probably other systems) due to a missing memUsedPeak.