Merge branch 'add-c-testsuite' into 'master'

[c-testsuite] add new case study

See merge request !13
1 job for master in 90 minutes and 3 seconds (queued for 1 second)
Status Name Job ID Coverage
  Test
failed build #410044
docker

01:30:03

 
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/framac.sav
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

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