Sécurité sur les doublons dans action_ajouter_un_document_dist

Dans action_ajouter_un_document_dist s'assurer qu'il n'y ait pas deux entrées dans spip_documents avec la même valeur pour fichier. Si cela risque d'être le cas, renommer le fichier avant l'insertion en base.

Cela n'arrive que si $file correspond à un document qui est deja dans IMG (typiquement lors de la duplication d'un logo avec logo_modifier(), lors de la création d'une traduction).

(Ceci est un PR identique à #4868, mais on pointe vers master).