Import jenkins-scripts relevant to this repo.

Moving towards Travis-style CI on our new jenkins setup.