chore: Run build and test suite jobs on MacOS and Windows#724

ejgallego wants to merge 6 commits into

leanprover:mainleanprover/verso:mainfrom

ejgallego:ci-winejgallego/verso:ci-winCopy head branch name to clipboard