added travis settings