If needed, this will be done later via machdeps and not preprocessor macros

This reverts commit 1e6f9135.

It also changes pthread_t to match the usual definition on a glibc + Linux.

Allow estimate-difficulty to be exported (in Linux/macOS/Windows) as
independent executable, so that it can be used without having to install
Frama-C.