Changed GitHub dependencies to https, so we can download them behind the...

... firewall