adapt SpoolExporter to a change of ScoreType format
Update SpoolExporter.

Though nobody probably uses it, I think it can still be useful sometimes,
for example for quickly distributing solutions after a training contest
(where you usually want to distribute all submissions to everyone).

Ranking generation has some bugs, rounding to name one. Not very grave,
though.