fix: mettre à jour les plugins par Git sans en changer le dossier
2 choses sont modifiées :
- l'installation d'un plugin se fait dans auto/prefixduplugin
- si déjà installé, le dossier est inchangé (que le plugin soit déjà en git ou non)
Fix: #4150 (closed)