release stage: Use correct branch

Use the right branch when deploying to Jenkins. The branch was hard-coded to be
the one being used by CircleCI, which broke the Jenkins-compatible projects.
Bump version to 1.4.4
Merge branch 'develop' (release 1.4.4)