SPIP est un plugin presque comme les autres : navigation.xml devient core.xml,...

SPIP est un plugin presque comme les autres : navigation.xml devient core.xml, qui pourra aussi contenir des declarations de pipeline.
On supprime le traitement derogatoire de ce fichier pour la construction du bandeau d'icones, en le compilant avec les autres plugin.xml
On pourrait aussi y definir la version de SPIP, mais pour l'instant on garde l'info dans inc_version, et on la reinjecte juste apres lecture de core.xml pour eviter de devoir l'ecrire dans deux fichiers.