Sort the headers' names to obtain identical dictionaries

The array allHeaders contained always the same headers but
in different order. This makes difficult to spot immediately
differences in dictionaries since 2 subsequent generations
led to dictionaries identical in content but different in text.