cleanup many jenkins references

... that's as much i could do in a reasonable amount of time, but
there's a lot of references to it everywhere. There's certainly still
stuff referencing git.tpo as well.