add devcontainer configuration

A cloud development environment would be useful. In a Windows environment, `lake build` raises an error...