Jenkinsfile: Define PIPELINE_VERSION early to fix devroot name
Move the definition of env.PIPELINE_VERSION very early so that the devroot name setting can make use of it.
Move the definition of env.PIPELINE_VERSION very early so that the devroot name setting can make use of it.