Using sdd::conf2 for hanoi.
Factorize flat_set configuration part.
New small example of a dictionary encoded into an SDD.
Add a tool to count the number of nodes in an SDD.

With tests.
Fix header guard.
Remove useless header inclusion.