Integration of backend-specific allocator#175

TobiasZehetmair wants to merge 2 commits intoenvelope-project:masterenvelope-project/laik:masterfrom

TobiasZehetmair:backend-specific-allocatorTobiasZehetmair/laik:backend-specific-allocatorCopy head branch name to clipboard