First cut: rewrite HTTP/HTTPS servers with gevent.