add a github workflow to run benchmarks#1

dawedawe wants to merge 7 commits intomaindawedawe/fsharp:mainfrom

stackguardtestdawedawe/fsharp:stackguardtestCopy head branch name to clipboard