The tools recipes still use SSH as protocol for the checkout.
Since we have opend our repository to the public, SSH isn't available
anymore. Because of this, we switch to HTTPS as protocol.

(cherry picked from commit e3c2325c)