Add link to 'Compositional CompCert'.