[Jenkins release job] Preparing release 3.1.14.Final

[Jenkins release job] Preparing release 3.1.13.Final

[Jenkins release job] Preparing release 3.1.12.Final

Merge pull request #72 from marko-bekhta/build/default-release-scripts

Switch back to the default release scripts

[Jenkins release job] Preparing release 3.1.10.Final

[Jenkins release job] Preparing release 3.1.9.Final

[Jenkins release job] Preparing release 3.1.8.Final

[Jenkins release job] Preparing next development iteration

Merge pull request #71 from marko-bekhta/test/github-release

Use a different version of release scripts

Merge pull request #71 from marko-bekhta/test/github-release

Use a different version of release scripts