tmcalgo: revisit dot generation and fix backlinks

[nthallen]

Need to maintain a table of state pairs with bits for forward, back and colors. There is a 1:1 mapping between state names and state_case integers, so the table can use pairs of integers.