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

Jenkins now builds PR