Add tiny jenkins script