Find a more optimal ordering of architectures to try

[paulgazz]

Currently klocalizer has to try each architecture’s kclause formulas one-at-a-time. It’s current ordering is fairly arbitrary. Take Julia Lawall’s suggestion to base the ordering on “make allyesconfig”: pick the next architecture based on how many left over files are covered by another architecture.

[paulgazz]

Start with x86, arm, which is likely to be the first two.