[UNIKRAFT/LIBMIMALLOC PATCH] Initial port of libmimalloc

[Hugo Lefeuvre <hugo.lefeuvre@xxxxxxxxx>]

Hi,

this is the initial port of the Mimalloc [0] general-purpose memory allocator
for Unikraft as an external library.

regards,
Hugo

[0] https://microsoft.github.io/mimalloc/

Hugo Lefeuvre (1):
  Initial port of mimalloc to Unikraft