Merge pull request #93 from fpapon/jenkins

[jenkins] Update tools