Add GitHub action to automatically update Lean & Mathlib#49

tobiasgrosser wants to merge 3 commits intomainopencompl/riscv-lean:mainfrom

tobias/lean-autoupdateopencompl/riscv-lean:tobias/lean-autoupdateCopy head branch name to clipboard