bootstrap.php: remove dumpMemDiff function
bootstrap.php: remove dumpMemDiff function

It is better to use the Xdebug memory profiling if we want to track
memory usage instead of this debugging function.

hemberger/smr,hemberger/smr,hemberger/smr,hemberger/smr,smrealms/smr,smrealms/smr,smrealms/smr