Use tid as HTML id for thread headers

The point is that we want to be able to make links to threads from the
top running methods table.