cut redundant builds from the travis config, fixed jenkins script