Use HTTPs depot URL instead of Git URL

Since some organizations block ssh outgoing connection, using https by default is better.

It's not SSH but the native Git protocol (port 9418) which is the most efficient and fast. However, HTTP is the most compatible way since it's such a commonly used protocol that corporate firewalls are often set up to allow traffic through it.

Let's use HTTPS (see http://git.videolan.org/).