Suppression de la config pour les migrations dans le fichier de config general, utilisé par l'environnement de prod.
Maj du script bash d'install/update du panel.