URLs in gnu-oids.texi should be https

[Zack Weinberg]

www.alvestrand.no is now HTTPS-only, so I suggest changing the URLs at
the top of the file to match.  Patch appended.

zw

Index: gnu-oids.texi
===================================================================
RCS file: /sources/gnustandards/gnustandards/gnu-oids.texi,v
retrieving revision 1.8
diff -u -r1.8 gnu-oids.texi
--- gnu-oids.texi    17 Dec 2013 23:58:52 -0000    1.8
+++ gnu-oids.texi    10 Jul 2020 19:38:05 -0000
@@ -7,8 +7,8 @@
 @c notice and this notice are preserved.
 @c
 @c When adding new OIDs, please add them also to
-@c   http://www.alvestrand.no/objectid/
-@c (Our page is http://www.alvestrand.no/objectid/1.3.6.1.4.1.11591.html.)
+@c   https://www.alvestrand.no/objectid/
+@c (Our page is https://www.alvestrand.no/objectid/1.3.6.1.4.1.11591.html.)

 1.3.6.1.4.1.11591 GNU