devpi-server-0.8: better deployment, fixes

[holger krekel]

devpi-server-0.8: fast'n easy-to-deploy pypi.python.org proxy
===============================================================

devpi-server is an easy-to-deploy caching proxy server for
pypi.python.org, providing fast and reliable installs when
used by pip or easy_install.  

devpi-server-0.8 brings three improvements:

- fixed issue4: bug fixed in pypi.python.org to better survive network
  outage.

- a new way to bootstrap a self-contained pre-configured "virtualenv" 
  directory, guiding you to set it up on your laptop:

    devpi-server --gendeploy=TARGETDIR --port=3200 --redisport=3201

  will create all that is neccessary for controled deployment on
  your laptop.

- the project page / README has been reworked a bit:

    http://pypi.python.org/pypi/devpi-server

If you have questions or issues, you may also drop by the brand new IRC 
channel #devpi on freenode.

have a nice weekend,

holger