Display plugins in ascending order

On the plugins page it is easier to find a plugin if they are in order. This change sorts them into ascending case-insensitve order of the plugin id.

Note that it actually changes the global $allplugins but I think that is ok.