treewide: fix redirected urls (run 3)

Related:
 - 9fc5e7e473
 - 593e11fd94
 - 508ae42a0f

Since the last time I ran this script, the Repology API changed, so I had to
adapt the script used in the previous PR. The new API should be more robust, so
overall this is a positive (no more grepping the error messages for our relevant
data but just a nice json structure).

Here's the new script I used:

```sh
curl https://repology.org/api/v1/repository/nix_unstable/problems \
   | jq -r '.[] | select(.type == "homepage_permanent_https_redirect") | .data | "s@\(.url)@\(.target)@"' \
   | sort | uniq | tee script.sed
find -name '*.nix' | xargs -P4 -- sed -f script.sed -i
```

I will also add this script to `maintainers/scripts`.

pkgs/development/interpreters/acl2/default.nix

@@ -6,7 +6,7 @@
 
 let
   # Disable immobile space so we don't run out of memory on large books; see
-  # http://www.cs.utexas.edu/users/moore/acl2/current/HTML/installation/requirements.html#Obtaining-SBCL
+  # https://www.cs.utexas.edu/users/moore/acl2/current/HTML/installation/requirements.html#Obtaining-SBCL
   sbcl = args.sbcl.override { disableImmobileSpace = true; };
 
   # Wrap to add `-model` argument because some of the books in 8.3 need this.
@@ -121,7 +121,7 @@ in stdenv.mkDerivation rec {
     '' else ''
       The community books are not included in this package.
     '');
-    homepage = "http://www.cs.utexas.edu/users/moore/acl2/";
+    homepage = "https://www.cs.utexas.edu/users/moore/acl2/";
     downloadPage = "https://github.com/acl2-devel/acl2-devel/releases";
     license = with licenses; [
       # ACL2 itself is bsd3