coq export: check that identifiers are valid in rocq#1397

fblanqui merged 6 commits into

Deducteam:masterDeducteam/lambdapi:masterfrom

fblanqui:coqidfblanqui/lambdapi:coqidCopy head branch name to clipboard