Rename the Travis configuration so it'll be picked up