Extract Dbgmem from WkCore. Lets use DrMemory via WkCMake. #6
Description
DbgMem is not really useful here.
Unless someone starts writing a complete memory manager, we should move it out ( or even delete it ) and replace it with DrMemory, that we can use from WkCMake.