jenkins
jenkins: do not hide build log
jenkins: install camlp4 and depend on oasis
Merge pull request #38 from hnrgrgr/jenkins

Jenkins now builds PR