Update devenvironment.md

`git clone` should use `https` URL.
Merge pull request #5585 from lukemarsden/patch-1

git clone should use https URL in devenvironment.md