Rewrite playground HTTP/HTTPS server in Python 3