Update dev.rb recipe to use https for GitHub clones.

HTTPS cloning is nearly as fast as the Git protocol and is able for those behind corporate proxies to easily be manipulated if necessary.