Concurrent programs (pthread).

Contributed by: Alexander Kaiser and Michael Tautschnig from the CProver project

