jenkins: use pr-specific bucket directory

[euank]

build-number gets reused between PRs, so that was wrong; this should be sufficiently unique.

I'll self-merge if this stages correctly.