added Travis CI configuration