Tie-breaking rules for reductions.

The rules should now be consistent with the agreed-upon choces for EGTA online.
All strategies get at least floor(N/n*reduced_count). The remainder is assigned
by how much the full_count differs from N/n*reduced_count. Ties are broken
first in favor of strategies played by more agents, then alphabetically.