Add peak (RAM) memory statisics option to data-based synthesis

A user might be interested in the peak memory usage of CIF during synthesis. Add this as an option of statistics that can be printed.

Some more background: In our paper Computational effort of BDD-based supervisor synthesis of extended finite automata (link), we use BDD metrics to evaluate the computational effort of symbolic synthesis. Since algorithmically a lot has changed to the synthesis algorithm implementation, we want to re-evaluate the results of that paper. In one of the measurements, the peak (RAM) memory usage of CIF during synthesis is used, to compare this to the peak used BDD nodes metric. For these experiments it would useful to have the functionality (and I think it is useful in general too).