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