Update the TravisCI build badge

[#71828048]