Each plugin's source in marketplace.json pointed to "./" (repo root),
causing every plugin install to cache the entire repository. Now each
plugin has its own directory under dist/plugins/ containing only its
files.
- Add scripts/build_plugins.py to generate per-plugin dist directories
- Update all marketplace.json source paths to dist/plugins/<name>
- Add build step to auto-bump CI workflow
- Add dist/ freshness validation to CI
Leonardo Flores