GitHub action to double check reproducibility of runtime binaries

[jkaczman]

${\color{red}Please \space squash \space and \space merge}$

Includes changes of #98. Please only merge if changes there look okay. Only true change is .github/workflows/binaries-reproducibility-check.yml

Relevant to issue #94

[jkaczman]

Perhaps two workflow files for this would be best. One for ARM, one for x86-64. The verification script for binaries isn't dependent on all being present at once. Not to mention they could simultaneously be run to cut down on verification time.