Marked repo url should use https instead of git

Https protocol has much better support for proxy servers.