config: Use https instead of git protocol

When we have a choice of https and git, prefer https; this is more efficient with modern web servers. git:// protocol is also blocked on some CI systems.

Signed-off-by: Ryan Roberts ryan.roberts@arm.com