Removed Jenkins scripts -- we only build with Travis now