Make the string-ident maps available from Coq code#222

jeremie-koenig wants to merge 6 commits intoAbsInt:masterAbsInt/CompCert:masterfrom

CertiKOS:coq-string-ident-mapCertiKOS/compcert:coq-string-ident-mapCopy head branch name to clipboard