explicit_tree_aut: add GetAcceptTrans() method

... and the machinery for a nice way of iterating over accepting
transitions.