Add debug output of how many thread IDs were generated during analysis

[michael-schwarz]

This is be an interesting number to also report on our thread \emph{id} inferring analysis.

• How many TIDs?
• How many definite? How many multiple?

Probably to get this, one would either have to globally collect them somewhere during analysis, or write them out to stdout and use a script to filter them out.

[sim642]

This was done directly into #379. Should we consider it closed?

[michael-schwarz]

I think the default behavior is that this issue will be automatically closed once this reaches master. But i guess we can also close directly.