CompCert: update to 2.4
Merge pull request #4390 from vbgl/compcert

CompCert: update to 2.4