add devcontainer and update README for push-button dev environment#1

Open

StevenClontz wants to merge 1 commit intoDoenet:mainfrom StevenClontz:codespace

+50-2

Commits on May 23, 2023

add devcontainer and update README for push-button dev environment
StevenClontz
committed