Initialisation de gitpod

Description

Pour faciliter le développement, nous pourrons nous servir de Gitpod.

Afin d'avoir tous le même environnement, nous pouvons créer une configuration Gitpod, pour avoir la même image, les même outils d'installés, et lancer des tâches automatiques pour monter un environnement de développement à la volée.

Gitpod est limité en utilisation gratuite par mois, mais comporte environ 50h gratuites, ce qui suffit amplement dans notre cas.