Added latest CompCert version (3.7) and platform Flocq variant#1246

Merged

clarus merged 4 commits intocoq:masterfrom MSoegtropIMC:compcert-3.7

May 6, 2020

+901

Commits on Apr 20, 2020

Added latest CompCert version (3.7) and platform Flocq variant of CompCert
MSoegtropIMC
committed

Commits on May 1, 2020

Commits on May 5, 2020

Included CompCert license file changes as patch
MSoegtropIMC
committed