module lists should be sorted

https://www.dune-project.org/groups/core/ lists the core modules, but the list is not sorted. It should be sorted by module name.

Same for the other groups.