Senegal’s rating downgrade: credit agencies are punishing countries that don’t check their numbers