Replace the hard coded tau indices by a central way of constructing it.

[mlaveaux]

The LTS trait allows one to check whether a given label is the tau label, which internally is always index 0 and there could be multiple labels, but there should also be a way to construct the tau action.