Adds CI to run our reproducibility script on every build. I doubt we want to actually run this on every commit, as I think it will double (at least) the time of the pipeline. It would probably be better to run this daily on a dedicated machine.
WIP as there are likely going to be many things to iron out.
I'm also investigating using reprotest for our reproducibility tool, which may end up also in this MR.
Closes #395 (closed)