Merge branch 'feature/kostyantyn/memalign' into 'master'

Aligned memory allocation [RFM]

This merge request suggests the following changes to the C-level memory model:
- Tracking heap allocations via `posix_memalign` (POSIX compatibility)
- Tracking heap allocations via `aligned_alloc` (C11 compatibility)
- Advanced aliasing of public API functions
- Few minor bugs and performance improvements in the bittree memory model

NOTE: This merge request depends on merge request !59 (Custom malloc for RTL).

See merge request !61