chore: add a how-to guide on using devcontainers and codespaces#3947

signorecello wants to merge 4 commits intomasternoir-lang/noir:masterfrom

zpedro/devcontainer_docsnoir-lang/noir:zpedro/devcontainer_docsCopy head branch name to clipboard