Switch to HTTPS dependency repositories (where possible)

This is meant to improve the security of our deployables. We still depend on HTTP (only) repositories though.
The repos switched to HTTPS have properly signed X.509 certificates.