make extension manager the default plugin

This moves the old plugin manager down to the "other" plugins. It should
probably be removed when when we decide the new one is good to go.