use https version of bobconda proxy

related to #76

bob/devtools/bootstrap.py

@@ -232,7 +232,7 @@ def ensure_miniconda_sh():
     # re-downloads installer
     import http.client
 
-    server = ("bobconda.lab.idiap.ch", 8000)  # http
+    server = ("https://bobconda.lab.idiap.ch", 8443)  # http
 
     logger.info("Connecting to http://%s:%d...", *server)
     conn = http.client.HTTPConnection(server[0], port=server[1])
@@ -457,13 +457,13 @@ if __name__ == "__main__":
     logger.info("(create) %s", condarc)
     with open(condarc, "wt") as f:
         # Replaces https://repo.anaconda.com/pkgs/main by
-        # http://bobconda.lab.idiap.ch:8000, so it is optimized for
+        # https://bobconda.lab.idiap.ch:8443, so it is optimized for
         # a CI build.  Notice we consider this script is only executed in this
         # context.  The URL should NOT work outside of Idiap's network.
         f.write(
             _BASE_CONDARC.replace(
                 "https://repo.anaconda.com",
-                "http://bobconda.lab.idiap.ch:8000",
+                "https://bobconda.lab.idiap.ch:8443",
             )
         )