Automate patcher binary updates

[RDIL]

We should upload patcher binaries from CI, and ideally make them fully reproducible. Committing the pre-built binary presents a security risk, as it is not clear if it has been tampered with.