[wip] script to copy Coq's CI info into the platform#44

gares wants to merge 2 commits into2021.02rocq-prover/platform:2021.02from

cirocq-prover/platform:ciCopy head branch name to clipboard