devcontainer.json: use master image.

For development it feels like it makes sense to use the master image.

While we're here, let VSCode autoformat the devcontainer.json.