[v8.20] Serlib tests fixup after un-merge.

tests/genarg/dune

@@ -5,7 +5,7 @@
   (:input test_roundtrip.in)
   ; For the plugins to be built, it'd be greater if we could only
   ; specify a few libs, but that's still not possible in Dune.
-  (package coq-lsp))
+  (package coq-serapi))
  (action
   (progn
    (copy test_roundtrip.in test_roundtrip)

tests/quick/dune

@@ -1,31 +1,31 @@
 (rule
  (alias runtest)
  (deps
-  (package coq-lsp)
+  (package coq-serapi)
   (:input ab.v))
  (action (ignore-outputs
            (bash "%{bin:sercomp} --quick %{input}"))))
 
 (rule
  (alias runtest)
  (deps
-  (package coq-lsp)
+  (package coq-serapi)
   (:input assoc.v))
  (action (ignore-outputs
            (bash "%{bin:sercomp} --quick %{input}"))))
 
 (rule
  (alias runtest)
  (deps
-  (package coq-lsp)
+  (package coq-serapi)
   (:input ordered.v))
  (action (ignore-outputs
            (bash "%{bin:sercomp} --quick %{input}"))))
 
 (rule
  (alias runtest)
  (deps
-  (package coq-lsp)
+  (package coq-serapi)
   (:input reserved.v))
  (action (ignore-outputs
            (bash "%{bin:sercomp} --quick %{input}"))))

tests/sername/dune

@@ -1,5 +1,5 @@
 (rule
- (deps (package coq-lsp))
+ (deps (package coq-serapi))
  (action
   (with-stdout-to nat_add.log
    (run sername --de-bruijn --str-pp %{dep:nat_add.sername}))))