Use https instead of git

Github deprecates git:// access