Add trivial jenkins script