Intégration de Doxygen dans la chaine de build

• Ajout d'un mode de compil "doxygen" (sur le meme plan que debug, release) (4h)
• Ajout du mode dans les builds jenkins 3.10.sprint, 3.11.sprint, 4.0.sprint (5h)
• Le build fabrique un répertoire doxygen/(version) au meme niveau que debug, release (1h)
• Une version zippée en .tar.gz est mise à disposition dans le répertoire (à coté des fichiers html) (1h)
• Vérifier que php est installé sur la machine pour bénéficier du moteur de recherche (0.5h)