Use new repository name for travis-ci badge