Add dev containers#332

stringhandler wants to merge 1 commit intoBlockstreamResearch:masterBlockstreamResearch/simplicity:masterfrom

stringhandler:feat/add-dev-containersstringhandler/simplicity:feat/add-dev-containersCopy head branch name to clipboard