A linear allocator that allocates memory contiguously.
Store a buffer in SDD context.
Use custom allocator for standard containers used in dd::sum.
Merge branch 'master' into linear_allocation
Use linear_alloc for alpha_builder.
Use linear_alloc for square_union.
Rewind arena in more places.
Assertion of a parameter before using it in an affectation.
Assert that the arena associated with a linear_alloc is always completely rewound.
Merge branch 'master' into linear_allocation
Don’t store context in square_union, we can alway grab it from the calling function.

It avoids to use stack space when constructing a square_union for an information which is easy to have.
mem::rewinder is useless when we are sure that containers can’t make any reallocation (because of reserve() requests).
Use mem::linear_allloc for a boost container.
Merge branch 'master' into linear_allocation
Fixed incorrect operator== of linear_alloc: a non-existing member field was used.
Use linear_alloc for nary_builders.

For now, linear_alloc’s arena is not completely rewound.
Merge branch 'master' into linear_allocation

Conflicts:
	sdd/dd/nary.hh
Add a missing linear_alloc rewinding.
Merge branch 'master' into linear_allocation

Conflicts:
	sdd/dd/definition.hh
	sdd/dd/intersection.hh
	sdd/dd/sum.hh
Merge branch 'master' into linear_allocation