Enable pthreadMutexType analysis by default

[sim642]

This enables pthreadMutexType analysis by default which can make some (by default) warnings about mutex misuse more precise.
However, I would not add it to SV-COMP confs because it has no use there right now. Maybe if we submit some tasks about races with recursive mutexes, there might be use.

sv-benchmarks ConcurrencySafety

This has minimal impact on sv-benchmarks, where we don't need to use it anyway: