Add a dev container to simplify contributing

[mjbvz]

It would be great to add a development container to this repo. This can simplify getting started with the repository (since the dev container sets up all the tools you need to get started) and will also make the repo work better on codespaces

[DanielRosenwasser]

Thanks Matt!