Support for `pthread_once` for race detection

[michael-schwarz]

Add along the lines of tracking (A,S) in the draft in the other repo: https://github.com/tum-cit-pl/digest-this-data-race.

This first class support means we will be able to remove #547.