update badge to reflect Travis CI status