Update badges to reflect the new repo name.