[py-dev] execnet-1.0.0 released

[holger krekel]

Hi all,

execnet-1.0.0 (compared to 1.0.0b3) has bug fixes, new tested
examples and introduces execnet.Group for managing a dynamic
bunch of hosts.  See the improved docs

    http://codespeak.net/execnet/

and below the changelog fragment.  

cheers,
holger


1.0.0 compared to 1.0.0b3
--------------------------------

* introduce execnet.Group for managing gateway creation
  and termination.  Introduce execnet.default_group through which
  all "global" calls are routed.  cleanup gateway termination.
  All Gateways get an id through which they can be
  retrieved from a group object.

* deprecate execnet.XYZGateway in favour of direct makegateway() calls.

* refine socketserver-examples, experimentally introduce a
  way to indirectly setup a socket server ("installvia")
  through a gateway url.

* refine and automatically test documentation examples