[bench] Re-enable coq-performance-tests
[bench] Re-enable coq-performance-tests

Partial revert of 6f4c61d152ad801bd571088ab99eb276b0085a04.
coq-performance-tests was fixed in
https://github.com/coq-community/coq-performance-tests/commit/ae8385b9471409387d0f47f01e38b866ba70bda1.

Note that the current state is not optimal, as the bench does not test
the native compiler at all (see #13807).

JasonGross/coq,silene/coq,ejgallego/coq,coq/coq,Zimmi48/coq,SkySkimmer/coq,JasonGross/coq,coq/coq,Zimmi48/coq,silene/coq,Zimmi48/coq,ejgallego/coq,SkySkimmer/coq,Zimmi48/coq,JasonGross/coq,coq/coq,silene/coq,ejgallego/coq,coq/coq,SkySkimmer/coq,SkySkimmer/coq,ejgallego/coq,JasonGross/coq