Remove CI

Cette MR apporte les modifications suivantes :

• Suppression de la chaîne d'intégration (trop compliqué, pas assez pédago, trop buggé, etc)
• Ajustement de la documentation pour lancer des nouveaux services, les mettre en prod, les mettre à jour...
• Versionnage de tous les services en production sur le dépôt
• Ajout de directives build dans les fichiers Compose pour construire facilement les images maison
• Tentative de respecter les bonnes pratiques (volumes Docker, séparation des réseaux, etc)

Globalement, à partir de maintenant, tout ce qui est sur ce dépôt devrait décrire exactement les services en production ("iso-prod"). Des modifications mineures seront sans doute apportées pour que ce soit vraiment le cas ; typiquement, tous les services n'ont pas encore été redémarré à partir des fichiers de ce dépôt sur les machines.

added CI label

merged

mentioned in commit 2a8f5eb6

mentioned in commit picasoft/projets/services/graph-bot@5bd0c6b7

mentioned in commit picasoft/projets/services/db-backup@29642b06