* Header line for memory profiling files.
* More detail on lack of matched allocations and deallocations.
* Bugfix: the memory log upon allocation showed the total memory according to profiling before the allocation, while all other data was for after the allocation. Now it is all for after the allocation.
* oct-check_deallocs shows number of allocations and deallocations.