Include devcontainer.json

[nijel]

Describe the problem

https://containers.dev/ seems an open specification used by various IDEs to manage development containers (see https://docs.github.com/en/codespaces/setting-up-your-project-for-codespaces/adding-a-dev-container-configuration/introduction-to-dev-containers or https://code.visualstudio.com/docs/devcontainers/create-dev-container). It could be a useful thing to have to easily onboard new developers.

Describe the solution you would like

Integrate existing dev-docker and rundev.sh into devcontainer.json

Describe alternatives you have considered

No response

Screenshots

No response

Additional context

Discovered on #13425