so that themes.rs builds in a reproducible way
in spite of non-deterministic filesystem readdir order.
See https://reproducible-builds.org/ for why this is good.
Without this patch, themes.rs and the resulting binary would differ thusly:
- theme_name: base16-eighties.dark
+ theme_name: GitHub
This patch was done while working on reproducible builds for openSUSE.