Multi-workspace support in VS Code

Currently, multi-workspace support in VS Code is incomplete. We only support a single workspace at the moment.