synchronize with frama-c master

1 job for master in 90 minutes and 9 seconds
Status Name Job ID Coverage
  Test
failed build #426920
docker

01:30:09

 
Name Stage Failure
failed
build Test The script exceeded the maximum execution time set for the job
Removing x509-parser/.frama-c/x509-parser.parse/parse.log
Removing x509-parser/.frama-c/x509-parser.parse/stats.txt
Removing x509-parser/.frama-c/x509-parser.sarif
Removing zlib/

Skipping Git submodules setup
Executing "step_script" stage of the job script
$ make -B all >/dev/null
ERROR: Job failed: execution took longer than 1h30m0s seconds