add Travis-CI flair