Add link to 'Compositional CompCert'.
Merge pull request #18 from yallop/compositional-compcert

Add link to 'Compositional CompCert'.