Disable native in coq-makefile/timing
Disable native in coq-makefile/timing

It tends to stack overflow.

This should be better than skipping the test for most of the CI jobs.

ejgallego/coq,SkySkimmer/coq,SkySkimmer/coq,ejgallego/coq,SkySkimmer/coq,coq/coq,coq/coq,SkySkimmer/coq,ejgallego/coq,ejgallego/coq,coq/coq,coq/coq