Some modifications to CompCert trying to make it work with Coq trunk
Merge branch 'master' of https://github.com/clarus/phd-experiments