adapt SpoolExporter to a change of ScoreType format

SpoolExporter didn't work because of some minor changes in submissions. This patch fixes it.