fix: travis-ci badge is broken after renaming repo