ci: Revert "Rename profile 'deploy-local' to 'ci-build'"

Partial revert of 51725c9.

Reason: The name "deploy-local" is a natural extension of the other
deployment profile, "deploy". It also is clearer to signify that this
profile should be used just for deployments to a local repository.

The previous name, "ci-build", could make you think that it should be
enabled for any kind of builds in CI, which is not correct. This profile
is to be used only for running "mvn deploy" in order to deploy into a
local directory, which later gets archived by the CI job.

ci-scripts/kurento_maven_deploy.sh

@@ -137,9 +137,9 @@ fi
 
 # First, make an initial build that gets deployed to a local repository.
 # This is what gets archived by CI, and passed along to dependent jobs.
-# The repo is set by the `ci-build` profile from Maven's `settings.xml`.
+# The repo is set by the `deploy-local` profile from Maven's `settings.xml`.
 
-mvn "${MVN_ARGS[@]}" -Pci-build clean package "$MAVEN_DEPLOY_PLUGIN:deploy" || {
+mvn "${MVN_ARGS[@]}" -Pdeploy-local clean package "$MAVEN_DEPLOY_PLUGIN:deploy" || {
     log "ERROR: Command failed: mvn deploy (local repo)"
     exit 1
 }

clients/java/maven-settings/settings.xml

@@ -38,7 +38,7 @@
 	-->
 	<profiles>
 		<profile>
-			<id>ci-build</id>
+			<id>deploy-local</id>
 			<activation>
 				<!--
 				Activate when the environment variable `MAVEN_LOCAL_REPOSITORY_PATH` is defined:
@@ -59,13 +59,13 @@
 			</properties>
 			<repositories>
 				<repository>
-					<id>ci-build</id>
+					<id>deploy-local</id>
 					<url>file://${env.MAVEN_LOCAL_REPOSITORY_PATH}</url>
 				</repository>
 			</repositories>
 			<pluginRepositories>
 				<pluginRepository>
-					<id>ci-build</id>
+					<id>deploy-local</id>
 					<url>file://${env.MAVEN_LOCAL_REPOSITORY_PATH}</url>
 				</pluginRepository>
 			</pluginRepositories>