Push Jenkins build scripts into the repo.