Debugging memory leaks

Documentation of all our leak debugging tools has moved here.