VATA Tree Automata Library