Remove Import NPeano

Remove Import NPeano in numbers: this is necessary for https://github.com/coq/coq/pull/18164

Changed '%' with '%_' to avoid warning "Warning: The '%' scope delimiter in 'Arguments' commands is deprecated"

I think we use % in Arguments more often in Iris. Do you have a link to the relevant Coq issue?

I'll abandon all commits except the first one then.

changed the description

resolved all threads

LGTM, thanks!

merged

mentioned in commit 809926b5

FWIW the issue with COQBIN is that we have to also support the situation where COQBIN is not set. In that case your patch made the path be /coq_makefile and that obviously will not work.

Yes, that's the issue I tried to solve in the end, but I have poor knowledge with Makefile variables.