use https repo url to clone for dev setup instructions

the git clone line in the dev setup instructions does not work as is, unless the user has write access
Merge pull request #944 from hansent/patch-1

* Documentation: use https repo url to clone for dev setup instructions