Add CentOS 8.5

It's still supported? I thought they dropped it early in favor of CentOS
Stream or something.

sql/schema.sql

@@ -265,7 +265,8 @@ INSERT INTO systems (id, name, release, short, relorder) VALUES
   (212,'Debian',     '11 (stable)','debian-bullseye',15),
   (213,'Debian',     '12 (testing)','debian-bookworm',16),
   (214,'CentOS',     '8.4',   'centos-8.4',      64),
-  (215,'Ubuntu',     '21.10', 'ubuntu-impish',  34);
+  (215,'Ubuntu',     '21.10', 'ubuntu-impish',  34),
+  (216,'CentOS',     '8.5',   'centos-8.5',      65);
 
 
 -- Removes any path components and compression extensions from the filename.

util/centos.sh

@@ -222,6 +222,9 @@ case "$1" in
     8.4)
         centd 8.4 8.4.2105 $CMIRROR
         ;;
+    8.5)
+        centd 8.5 8.5.2111 $CMIRROR
+        ;;
     old)
         $0 2.1
         $0 3.1
@@ -278,10 +281,11 @@ case "$1" in
         $0 8.1
         $0 8.2
         $0 8.3
+        $0 8.4
         ;;
     current)
         $0 7.9  # till 2024-06-30
-        $0 8.4  # till 2029-05-31
+        $0 8.5  # till 2029-05-31
         ;;
     all)
         $0 old