Replace http:// with https://

[Francesco Turco]

Hello again.

I suggest to replace all instances of "http://"; with "https://"; in the
source code.  As far as I can see, all instances of "http://"; only refer
to the domains nongnu.org and gnu.org (both of which support HTTPS), so
a simple global search-and-replace with sed would do the job.