python: gevent: timeout