Being able to reproduce the plugins we use was a real pain.

To make this easier (and hence speed up upcoming upgrades), we need a way to get meaningful version numbers for plugin. To get the API version set on the plugins. And to visualize all of that, for example in Gerrit's plugin list.