Add the right CI badges.