Install gevent via pip instead of apt-get.

This lets us use gevent 1.0, which has more features and no external
dependencies.