build.plat: add `build_{{name}}.json` output#1617

whitequark merged 3 commits intoamaranth-lang:mainamaranth-lang/amaranth:mainfrom

whitequark:build.plat-jsonwhitequark/amaranth:build.plat-jsonCopy head branch name to clipboard