effective memory mgmt - updated docs for devtools 

New name for Heap Allocation Profiler and related adjustments.