Use https instead of git for fetching the standard library (#572)
Use https instead of git for fetching the standard library (#572)

* Use https instead of git for fetching the standard library

* Clone the standard library shallowly
wenkokke/sf,wenkokke/sf