Use https as transport for all repos

To avoid issues with Github.com SSH key fingerprinting.