Dev Containers

Dev container definitions and extensions