Write a deployment packaging script

The packaging script and the configuration files around it are based on
the ones from the

  `Vectornaut/dyna3:demo-summer-2025`

branch.

README.md

@@ -65,3 +65,17 @@ The latest prototype is in the folder `app-proto`. It includes both a user inter
 
 1. Go into the `app-proto` folder
 2. Call `cargo test`
+
+### Deploy the prototype
+
+1. From the `app-proto` folder, call `trunk build --release`.
+   - Building in [release mode](https://doc.rust-lang.org/cargo/reference/profiles.html#release) produces an executable which is smaller and often much faster, but harder to debug and more time-consuming to build.
+2. Use `bash` to run the packaging script `tools/package-for-deployment.bash`.
+   - The script is location-independent, so you can do this from anywhere in the dyna3 repository.
+   - The call from the top level of the repository is:
+     ```bash
+     bash tools/package-for-deployment.bash
+     ```
+   - This will overwrite or replace the files in `deploy/dyna3`.
+3. Put the contents of `deploy/dyna3` in the folder on your server that the prototype will be served from.
+   - To simplify uploading, you might want to combine these files into an archive called `deploy/dyna3.zip`. Git has been set to ignore this path.