Jenkins now builds PR

It basically executes the ```.jenkins.sh``` in a fresh opam root.