Build deployments on your own machine

Procedures that install packages from a private registry can now be deployed: the build runs on your machine, where the registry is reachable.

• Added tofupilot build, which builds a procedure's deployment bundles on your machine, with your registry's credentials, and records the commit they were built from.
• Added tofupilot deploy --prebuilt, which ships those bundles as one deployment: each station installs the bundle for its platform, without reaching any package index.
• Added "Built locally" and the build's commit to the deployment page, with a modified badge when the sources had uncommitted changes.