Updated Python documentation for gevent