Also update alt-ergo-free.2.0.0 src url to https

Author: jmid

packages/alt-ergo-free/alt-ergo-free.2.0.0/opam

@@ -76,7 +76,7 @@ Usage of the command-line with FPA reasoning:
 ```alt-ergo -use-fpa -prelude fpa-theory-2017-01-04-16h00.why [other-options] <file.why>```"""
 url {
   src:
-    "http://alt-ergo.ocamlpro.com/http/alt-ergo-free-2.0.0/alt-ergo-free-2.0.0.tar.gz"
+    "https://alt-ergo.ocamlpro.com/http/alt-ergo-free-2.0.0/alt-ergo-free-2.0.0.tar.gz"
   checksum: [
     "sha256=bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b"
     "md5=e390c96bcac7c54a5949ad36611412ef"