loadable_aut: add DumpToAutDesc() and modify the core classes
explicit_tree_aut: add DumpToAutDesc() methods
explicit_tree_aut_core: change the copy constructor to be selective
explicit_tree_aut_core: add TranslateSymbols()
explicit_tree_aut: add TranslateSymbols()
explicit_tree_aut_test: add tests of TranslateSymbol()