Feature/metrics

Tadjo Takianpi Yves Constantinrequested to merge
feature/metrics into develop

Metrics export with prometheus, node-exporter and alertmanager. Just for base metrics listed in :

https://gitlab.inria.fr/almanach/lectaurep/escriptorium/-/issues/51

Edited by Tadjo Takianpi Yves Constantin

Merge request reports