added travis settings
...