New repo location: try fixing the Travis badge