Remove the notion of pluginRepositories

I really don't think we need separate repositories for plugins. With the current behavior where dependencies are specified in plugins, they can only come from a plugin repository which is sort of useless. I think most people in practice just point their repository and pluginRepository settings at the same URL.