optionally sort named extensions

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