Use HTTPS, not SSH, to get PyOpenSSL off Github