Merge pull request #138 from SkySkimmer/rocq-cli

Adapt to rocq-prover/rocq#19927 (coq-core renamed to rocq-runtime)

Author: SkySkimmer

tests/search.oracle

@@ -1,6 +1,6 @@
 Welcome to Coq
 [Loading ML file coq-dpdgraph.plugin ... done]
-[Loading ML file coq-core.plugins.ring ... done]
+[Loading ML file rocq-runtime.plugins.ring ... done]
 Fetching opaque proofs from disk for dpdgraph.tests.Test
 [cons(42) nil(6) perm_swap(1) perm_skip(3) list(18) Permutation(11) app(43)
 Permutation_trans(3) eq_ind_r(1) eq_ind(2) list_ind(2) Permutation_refl(2)