let's configure the devcontainer feature so that contributors can start a dev environment directly from GitHub.