Rename package TreeAutomata to TreeAutomaton