added Travis CI support