added Travis ci badge -- take 3