Clearer stage names in release process

Author: yrodiere

ci/release/Jenkinsfile

@@ -97,7 +97,7 @@ pipeline {
 		)
 	}
 	stages {
-		stage('Release check') {
+		stage('Check') {
 			steps {
 				script {
 					print "INFO: params.RELEASE_VERSION = ${params.RELEASE_VERSION}"
@@ -176,7 +176,7 @@ pipeline {
 				}
 			}
 		}
-		stage('Release prepare') {
+		stage('Prepare') {
 			steps {
 				script {
 					checkoutReleaseScripts()
@@ -202,7 +202,7 @@ pipeline {
 				}
 			}
 		}
-		stage('Publish release') {
+		stage('Publish') {
 			steps {
 				script {
 					checkoutReleaseScripts()
@@ -242,7 +242,7 @@ pipeline {
 				}
 			}
 		}
-		stage('Website release') {
+		stage('Update website') {
 			steps {
 				script {
 					checkoutReleaseScripts()
@@ -269,7 +269,7 @@ pipeline {
 				}
 			}
 		}
-		stage('GitHub release') {
+		stage('Create GitHub release') {
 			steps {
 				script {
 					checkoutReleaseScripts()