`bench-deploy`: Convert between Criterion JSON formats

After #44

Currently, our `gh-pages` benchmark JSONs can't be used with `criterion-table` and our `commit-comment` benchmarks can't be used in plots. After some testing I've found that reformatting the JSON files is fairly straightforward using `jq`. This would have several benefits:
- Run only one benchmark per commit, rather than fiddling with env vars to produce several for use in our various comparison tools. This saves time and UX hassle
- Cached `commit-comment` benchmarks could be immediately deployed when a PR is merged, rather than having to re-run the benchmark in the `gh-pages` format for plotting & deployment. This saves time, runner resources and clutter in `gh-pages`

Traccia i percorsi dei workflow di benchmark esistenti di gh-pages e commit-comment e analizza i formati JSON di Criterion che producono. Usa jq per definire la conversione tra questi formati, quindi verifica che un benchmark per commit possa supportare criterion-table, plots e deployment senza riesecuzioni separate.

Scritto dal modello di indicizzazione a partire dal testo della issue.