add duplicate elimination

Duplicate elimination for the list of inner ballots is added both
to the collecting server (when it produces its output) and to the
final server (when it reads its input).
update README
collecting server: better logging