Add a parameter to 10.10 ondemand workflow to change base pom version

The ondemand pipeline added under WEBUI-599 should have an additional parameter: the server hotfix version to use in the build. This parameter would replace the version in the pom files, which is sometimes necessary as a workaround when platform artifacts are missing in mavenin. This can be done with a simple sed command:

sh "sed -i \"s/10.10-HF55-SNAPSHOT/10.10-HF53-SNAPSHOT/g\" pom.xml"

Where 10.10-HF55-SNAPSHOT is the current POM version and 10.10-HF53-SNAPSHOT is the last known pushed artifact version.