Release online-2.13
- tools: support for Espressif-IDE
- tools: display sites with certificate check
- tools: add support for Gitee mirror
- tools: add support for shallow clone
- tools: update to git-2.34.1
- tools: update path to git in the first phase of installation
- tools: Rust 1.58.0.0
- tools: add Toit Jaguar installation (#106)
- tools: use newer version of Python wheels