Heap allocator

[senier]

Implement allocator to enable use of new. On Linux, __gnat_malloc is implemented using malloc(). On Genode, env is passed to the runtime using a platform-specific interface (called by Genode-specific C++ platform code). On SPARK platforms the existing range allocator from secondary stack could be used.