Build #839

Parameters
 tychoVersion
 MAVEN_FLAGS
 CHERRY_PICKS
space-sparated list of repo+gerrit/rev #s to cherry pick (because we're often behind on gerrit reviews) eg., for https://git.eclipse.org/r/#/c/117456/ use "webtools-common/webtools.common+117456/1"