Tweaked memory manager

mm_shrink is removed and mm_grow can now be called with negative numbers
to shrink. mm_resize resizes the section to target size. The memory
manager is optimized for quick temporary requests.