Jenkinsfile: commit/tag and publish source tarball for releases
The Jenkinsfile must gain the following features before it can be used to publish official releases:
- Commit/tag the release on the corresponding branch
- Publish the release source tarball