[Jenkins-Build] Migrate push steps from ANT to Jenkins pipeline#613

HannesWell merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.swt:masterfrom

HannesWell:jenkins_pushFromPipelineHannesWell/eclipse.platform.swt:jenkins_pushFromPipelineCopy head branch name to clipboard