Arto's Notes re: CompCert

CompCert is a formally-verified C99 compiler.

• http://compcert.inria.fr/
• https://github.com/AbsInt/CompCert