Use HTTPS to fetch redmine repo.

Because most proxies block git protocol.