Faster build 2.10

Backport of #3108 -- provide hooks for jenkins jobs to specify which repository to publish to.
Also, publish only what's needed during PR validation to save time.
Finally, we're standardizing on putting all our java properties in versions.properties and passing that around between the jenkins pr validation jobs, having them consumed by the scripts and dbuild. This way we can keep all module versions in synch and don't need to change infrastructure (much) when new properties are needed.