Export the type of the valuation in an arc.
Export the type of an arc in a node.
Add an export of an SDD to an Lua data structure.
Update lua exporter.
Use a function to hide template parameters.
An order can be copied.
Correct Local construction when building an Intersection.

Should have been spotted by tests...
Add a const_iterator to an intersection's operands.
Comments.
Add SaturationIntersection.

Need factorization with SaturationSum.
Macro to detect GCC version.
GCC 4.8 doesn't support r-value annotations on methods
More tests for rewriting.
Put order as the first parameter for rewrite (like every other user-exposed functions).
Order: can check if an identifier contains an other one.
Get flat identifiers of an order.
Remove order::contains() for identifiers, it can cause ambiguous calls.
Compile optimized part with clang.
Merge branch 'master' into linear_allocation