Free a block of memory.
The block must have been allocated previously by DOFMem_Alloc. If NULL, then no action is taken.
