Update JSON data generated by deployment script
In concert with changes to the JSON format for release data used on the website (see graphviz.gitlab.io!653 (merged)), update the deployment script to generate that new format.
In concert with changes to the JSON format for release data used on the website (see graphviz.gitlab.io!653 (merged)), update the deployment script to generate that new format.