Updating CompCert to v3.8
This updates CompCert to the latest version and it is compatible with the current version of Coq in the Guix repositories.
This updates CompCert to the latest version and it is compatible with the current version of Coq in the Guix repositories.