added Travis ci badge -- take 2