WIP: [CI] Mise en place pipeline intégration continue

Mise en place d’une pipeline avec :

• génération des pilotes & conf, plutôt que de devoir lancer manuellement le script de génération (remplace genAll.sh)
• stockage des résultats en tant qu’artefact, plutôt que de les stocker sur le dépôt git

Reste à faire :

• remplacer les mkdist.sh