use boxen travis ci badge