settings default travis settings

to be changed