Remove unneeded sorts

As we need to start using the --trump option in `tidy_mappings.pl`,
we must preserve sort order until that point. `tidy_mappings.pl` sorts
the output for us.
More descriptive name for fold-mappings.rb