Many changes to make the basic LeaderElector implementation and tests
work.

StableLeaderElector now extends LeaderElector.

Changes in server module to support both Windows and Linux multicast
sockets.