Update travis ci badge to use boxen travis.