Fix saturation_intersection textual output.
Minimal export to DOT of an SDD.

Not yet implemented for hierarchical SDD.
Move lua export into tools.