Add correct Travis-ci badge