added Travis configuration