Update DEVSETUP.md

[KanoczTomas]

change git clone method from using ssh to https (easier for newbies to cope with).

ssh method used fails if no ssh key is added to github. As this is surely the case for most new people to github, https seems to be a better clone method to avoid cloning errors.