Change server to gevent in docs