examples/network: Rename SSL examples to start with https.

It's better for discoverability to have these examples named `https_xxx.py`
rather than `http_xxx_ssl.py`.

Signed-off-by: Damien George <damien@micropython.org>

examples/network/https_client.py

@@ -0,0 +1,32 @@
+import socket
+import ssl
+
+
+def main(use_stream=True):
+    s = socket.socket()
+
+    ai = socket.getaddrinfo("google.com", 443)
+    print("Address infos:", ai)
+    addr = ai[0][-1]
+
+    print("Connect address:", addr)
+    s.connect(addr)
+
+    s = ssl.wrap_socket(s)
+    print(s)
+
+    if use_stream:
+        # Both CPython and MicroPython SSLSocket objects support read() and
+        # write() methods.
+        s.write(b"GET / HTTP/1.0\r\n\r\n")
+        print(s.read(4096))
+    else:
+        # MicroPython SSLSocket objects implement only stream interface, not
+        # socket interface
+        s.send(b"GET / HTTP/1.0\r\n\r\n")
+        print(s.recv(4096))
+
+    s.close()
+
+
+main()