Add CompCert award

This ensures that the news https://github.com/ocaml/ocaml.org/issues/107
is not lost for the announcement feed to be created — see
https://github.com/ocaml/ocaml.org/issues/233