Memory allocator replaced for Mini-os

The patch removes broken, and very complicated malloc in favour of much simpler (and working) Xen's allocator (xmalloc by Rusty).

Ps - patch compressed because malloc.c is about 200kb.

Cheers
Gregor