Batch change for adding the Sourcegraph VS Code extension as recommended in VS Code configs

Created by: philipp-spiess

• https://github.com/sourcegraph/batch-change-examples
• https://docs.sourcegraph.com/batch_changes/tutorials

/cc @muratsu @jjinnii @ryankscott