Make the widget inspector a plugin.

Now all widget-dependent tools should be plugins.