travis ci: adding badge