There is no reason not to provide vsrocq-language-server through
coqPackages.
In fact, following the logic that only packages that do not depend on
Coq belong to rocqPackages, it should not even have been in
rocqPackages in the first place.
This commit was created by a combination of scripts and tools:
- an ast-grep script to prefix things in meta with `lib.`,
- a modified nixf-diagnose / nixf combination to remove unused `with
lib;`, and
- regular nixfmt.
Co-authored-by: Wolfgang Walther <walther@technowledgy.de>
