[EM] Semiproportional Bucklin method

[Kristofer Munsterhjelm]

Sorry about replying to my own post, but:

Kristofer Munsterhjelm wrote:
  > which contains the proper Droop sets (the permitted outcomes are {A D},
> {A E}). The problem with this is that in the worst case, there are 2^n 
> possible subsets, and you have to keep track of all of them when summing 
> up votes, because any of them might become a Droop set later on.

The only permitted outcome is {A D}. {A E} would give two candidates to 
{A B C E}, which has insufficient support for that.