Jenkins now builds PR

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