Revert "Remove pthread.h include from pthread.c stub"
Revert "Remove pthread.h include from pthread.c stub"

This reverts commit 6ea4b3f8bfa1838c947b2a8df92873d8beaa26b1.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer