BDD traversal, loading and dumping of automaton

Fixed and tested version.