Made get_providers use sort to always return modules with the same priority in the same order (to avoid random behaviour). Rev: server/base_server/configuration.pike:1.637