Plugin manager

[GeorgesStavracas]

The community has spec'ed out bits of the plugin manager, and there were preliminary mockups (that cannot be shared) for that. We should revisit them, and eventually produce newer ones covering the requirements and interactions around the plugin manager.