Remove Frama-C publications and add colibri one

2 jobs for colibri-doc in 2 minutes and 47 seconds (queued for 6 seconds)
Name Stage Failure
failed
check-css Css
    ________________________________________________
|
| PurifyCSS - Rejected selectors:
| .icon-lock:before
|
________________________________________________

Cleaning up file based variables
ERROR: Job failed: exit code 1