Fixing CI badge to point to the right repo.