Sort lists of effectors and policies returned by rest-server

Improves their list display in the jsgui.