Add Compcert 2.1 (new formula)

[Compcert](http://compcert.inria.fr) is a formally verified compiler for C.