Introduce .jenkins.sh
Fix opam: the devel version depends on oasis
jenkins: do not hide build log
Merge pull request #68 from ocsigen/jenkins

Jenkins now builds PR