[Build] Deploy RelEng scripts in master branch build

This ensures that releng scripts are always updated on the
download-server as soon as they change in the git repository.
Furthermore this avoids the need for the separate Jenkins job to deploy
the scripts.

Jenkinsfile

@@ -31,6 +31,33 @@ pipeline {
 				sh 'mvn clean deploy -f eclipse.platform.releng.prereqs.sdk/pom.xml'
 			}
 		}
+		stage('Deploy RelEng scripts') {
+			when {
+				branch 'master'
+			}
+			steps {
+				sshagent(['projects-storage.eclipse.org-bot-ssh']) {
+					sh '''
+						serverLocation=/home/data/httpd/download.eclipse.org/eclipse/relengScripts
+						
+						ssh [email protected] rm -rf ${serverLocation}
+						ssh [email protected] mkdir -p ${serverLocation}
+						
+						scp -r production [email protected]:${serverLocation}/.
+						scp -r scripts [email protected]:${serverLocation}/.
+						scp -r cje-production [email protected]:${serverLocation}/.
+						
+						pushd eclipse.platform.releng.tychoeclipsebuilder/eclipse
+						scp -r buildScripts [email protected]:${serverLocation}/.
+						popd
+						
+						pushd eclipse.platform.releng.tychoeclipsebuilder
+						scp -r entitlement [email protected]:${serverLocation}/.
+						popd
+					'''
+				}
+			}
+		}
 		stage('Build') {
 		    when { not { branch pattern: "prepare_R.*", comparator: "REGEXP" } }
 			steps {