Incorporate memory limits for child processes.

* 128GB memory limit for pginfo, pbes2bes and friends,
* 8GM memory limit for other tools in the mCRL2 toolset.