Respond to clicks in the table view

It would be nice if in the table view one could double click or right click on entries, and execute various actions, e.g:

• show the source of an entry if there is a "Source" column containing source position information

• jump to a sate with the give state ID if there is a column "State ID"
  Maybe we could also provide some default coloring for truth values / errors for rows.