Only copy files if they exist#479

jim-portegies wants to merge 3 commits intorocq-prover:mainrocq-prover/platform:mainfrom

impermeable:only-copy-files-if-they-existimpermeable/platform:only-copy-files-if-they-existCopy head branch name to clipboard