vote-management: Replace Edmonds–Karp algorithm with Dinic’s algorithm
vote-management: Replace Edmonds–Karp algorithm with Dinic’s algorithm

Signed-off-by: Anders Kaseorg <087231934ba8fcf78bc142ce37d193b895ac03c4@mit.edu>

andersk/elect