Fix gevent dependency requirement in documentation and REQUIREMENTS.txt

gevent-1.0 has been released and it's available both on PyPI and on
Ubuntu 14.04: there's no need for instructions to install the git
development version.