added Travis CI settings