added travis ci setting