Add support for building on Windows#64

kant2002 wants to merge 7 commits into

leanprover-community:mainleanprover-community/lean4web:mainfrom

kant2002:kant/add-windows-buildkant2002/lean4web:kant/add-windows-buildCopy head branch name to clipboard