Protocol output naming

[Qusic]

Feature: Custom protocol output filename

Problem

webui build --out ./dist always writes protocol.bin as the output filename. When building multiple apps to the same output directory, each build overwrites the previous one, requiring a post-build rename step:

webui build ./src/apps/app1 --out ./dist
mv ./dist/protocol.bin ./dist/app1.bin

webui build ./src/apps/app2 --out ./dist
mv ./dist/protocol.bin ./dist/app2.bin

Proposal

Allow specifying the output filename, e.g.:

webui build ./src/apps/app1 --out ./dist/app1.bin

Or a --protocol-name flag:

webui build ./src/apps/app1 --out ./dist --protocol-name=app1.bin

Context

Minor ergonomic issue — the mv workaround works fine. But it adds a step per app in CI pipelines and is easy to forget when adding a new app.

[Qusic]

cc @mohamedmansour as requested