Add `pthread_self` support

[sim642]

The added test is an obscure program that uses pthread_self to join the main thread from a secondary thread and avoid a data race.

By completing a TODO it partially even improves precision with plain thread IDs.