use mimalloc as allocator

[aawsome]

I made some quick tests which gave the following result:

• execution time is reduced
• memory requirements are somewhat increased.

I would be happy if someone is able to make more serious tests whether this is useful (and should be activated by default) or not.