dev-lang/jsonnet: use HTTPS