Also, "we" actually do need some sort of consensus that Jenkins is better and we're going to ditch or otherwise downgrade travis's priority