Fix monopam lint: add 39 missing deps, remove 2 unused, detect menhir

Add missing opam dependencies across 17 packages (vec3, bytesrw, http,
cbort, fmt, etc.) and remove unused deps (requests from respond, menhir
from sqlite). Teach monopam lint to recognize (menhir ...) dune stanzas
as requiring the menhir package. Move bytesrw dep from scitt to
atp-lexicon-scitt where it actually belongs.

coordinate.opam

···
   "dune" {>= "3.21"}
   "fmt"
   "ptime"
+  "vec3"
   "odoc" {with-doc}
 ]
 build: [

dune-project

···
  (synopsis "Astrodynamics coordinate frame transforms")
  (depends
   fmt
-  ptime))
+  ptime
+  vec3))