Leader election libraries for Sergeant SDN controller.