Gitpod Lean 4 Samples

Stream: lean4

[Chris Lovett]

See demo video showing how to setup a working Lean environment on Gitpod in about a minute. The https://github.com/leanprover/lean4-samples readme now has a link to help you do this. If you find any issues with this please open an issue on the lean4-samples repo, thanks.