treewide: clean up 'meta = with' pattern

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>

pkgs/development/rocq-modules/hierarchy-builder/default.nix

@@ -26,13 +26,13 @@ let
 
     propagatedBuildInputs = [ rocq-elpi ];
 
-    meta = with lib; {
+    meta = {
       description = "High level commands to declare a hierarchy based on packed classes";
-      maintainers = with maintainers; [
+      maintainers = with lib.maintainers; [
         cohencyril
         siraben
       ];
-      license = licenses.mit;
+      license = lib.licenses.mit;
     };
   };
 in

pkgs/development/rocq-modules/vsrocq-language-server/default.nix

@@ -70,8 +70,8 @@ ocamlPackages.buildDunePackage {
     {
       description = "Language server for the vsrocq vscode/codium extension";
       homepage = "https://github.com/rocq-prover/vsrocq";
-      maintainers = with maintainers; [ cohencyril ];
-      license = licenses.mit;
+      maintainers = with lib.maintainers; [ cohencyril ];
+      license = lib.licenses.mit;
     }
     // optionalAttrs (fetched.broken or false) {
       rocqFilter = true;