Initial API for generic reusable leader election.

See ElectionDemo for an example of its usage.
AdminServer now delegates to Nomination.