added Travis-CI support