devcontainers setup

I'd like to get a devcontainers definition in this before or shortly after publicizing it to make it even easier for people to experience the magic via Codespaces or whatever.

(ported from internal, filed 17 Nov 2023)