Add support of mpi_sync_clocks to improve MPI trace synchronization

3 jobs for !31 with sync_clocks in 21 minutes and 1 second (queued for 1 second)
latest detached
Status Job ID Name Coverage
  Build
passed #1307916
build

00:06:07

 
  Deploy
passed #1307917
linux
check_linux

00:10:57

passed #1307918
simgrid

00:03:57