CI: add scripts to rebase auto-merge activated and mergeable PR#3287

dannywillems wants to merge 1 commit intomastero1-labs/proof-systems:masterfrom

dw/auto-rebase-auto-merge-activatedo1-labs/proof-systems:dw/auto-rebase-auto-merge-activatedCopy head branch name to clipboard