Support for clock indices in tribune

Support highlighting for ¹²³ indices as well as :n and ^n, and support posting clocks with these indices too.