Category and position options for tools

You can set "category" in the manifest of a tool to add headings. You can sort
the order, both of the categories and things in them, using a second "position"
attribute also in the manifest.

Defaults to "category" of "Other".

Before deploying, I'd like to test it in Optimizely, which is waiting for some
nearby experiments to complete too.