Update instructions on pulling developer version

Github blocks (at least from my machine) all http connetions, instead https should be used.