Memory management

Detailed Description

Classes, functions and definitions to manage different kinds of memory.

Topics
	Address spaces
	Currently supported address spaces and tools to work with them.
	Allocators
	Custom allocators that satisfy the nda::mem::Allocator concept and allocator wrappers that check for memory leaks and collect statistics on memory allocations.
	Handles
	Memory handles that manage a specific block of memory.
	Memory policies
	Various memory managing policies that can be used with nda::basic_array and nda::basic_array_view.
	Memory utilities
	Generic versions (w.r.t. the different address spaces) of memory managing functions as well as other tools related to memory management.