Merge pull request #17 from mbenke/master

Links to [Gu et al.]
Add link to 'Compositional CompCert'.
Merge pull request #18 from yallop/compositional-compcert

Add link to 'Compositional CompCert'.
Merge pull request #19 from mbenke/master

Link to [Bastani et al.]