chore: add initial devcontainer.json config

[prometheas]

What

• Adds a devcontainer.json config file, enabling containerized development environment using Python 3.9 (the same version of Python used in the root Dockerfile of the repo), to create a development environment consistent with the deployment environment.

Screenshot

N/A

Fixes bug(s)

N/A

Part of

N/A

[alexgarel]

Hi @prometheas, can you explain it a bit to me ? Isn't the docker-compose sufficient ?

If it adds some new capabilities, could you add a small explanation in the README ?

[alexgarel]

And thanks a lot for this first PR @prometheas :tada:

[prometheas]

Hi @prometheas, can you explain it a bit to me ? Isn't the docker-compose sufficient ?

If it adds some new capabilities, could you add a small explanation in the README ?

Hi, @alexgarel 👋 this PR adds a Dev Container file to the project, allowing developers to create a uniform development environment. This is notable different to the container used by docker-compose, which offers reliable parity for runtime only (which is not used to, say, run the make scripts or any of the development-level scripts and automations.

Consistent versions of Python and any number of supporting cli tools become trivial, allowing newcomers to get started in minutes, rather than hours or days. Even allows for development directly in the web browser at GitHub Codespaces, or vscode.com.

Good point about updating info in the README, though. Will get on that today.