Made the story mode xml file format more compact by saving only the
highest level at which a challenge was solved (lower levels will
automatically be marked as solved).