explicit_tree_aut.hh: move StringRank from AutBase to ExplicitTreeAut
aut_base.hh: add the TreeAutBase::TTransition<Symbol> class template
explicit_tree_aut: add the ContainsTransition() method
util/smart_set.hh: improve code quality