Force parallel tests to use posix when futexes are not supported, as busy_wait can be slow if nb_cores < nb_workers
freebsd reports amd64 instead of AMD64, and cmake string matching is string sensitive
forgot a few things in preview commit
Use %f to print simulation time like in xbt_log, and get the same precision.
Fix confusion between bindir and srcdir.
Die on error.