Update Travis-CI build badge.