ltl3hoa -> ltl3tela

The new version of ltl3hoa is now called ltl3tela.
We should support both names in ltlcross/ltldo shorthands, and update the example in ltlcross.org.