introduce .jenkins.sh
Fix compilation on a fresh envirronment
Merge pull request #95 from ocsigen/jenkins

Introduce .jenkins.sh