sync with frama-c master; fix papabench's math.h inclusion

1 job for fix-papabench in 55 minutes and 53 seconds (queued for 1 second)
Status Name Job ID Coverage
  Test
passed build #414805
docker

00:55:53