NamedExtensionManager can optionally order loaded extensions to match the names parameter.

Entry point load order is effectively indeterminate, yet an application may want to impose an ordering on loaded extensions. This small change allows NamedExtensionManager creators to optionally indicate that the order of the names listed in the names parameter is significant.