Python script for installing extensions locally

[fbaeuerlein]

Create a script that reads the extensions from .devcontainer/devcontainer.json and installs them locally