Introduce .jenkins.sh
Merge pull request #22 from ocsigen/jenkins

Introduce .jenkins.sh