Introduce .jenkins.sh
jenkins: do not hide build log
Merge pull request #168 from ocsigen/jenkins

Jenkins now builds PR