Fix for an issue with exporting the grades from the admin side of the gradebook module, wherein some users will show up multiple times in the list (and the list will now be ordered by learner name).