Merge "Upgrade curl to curl-7_72_0" am: e1ff5a7aa0 am: 509bd3b7b9 am: 56a984bf85 am: edf70003a7

Original change: https://android-review.googlesource.com/c/platform/external/curl/+/1405287

Change-Id: I0fe4682d2a3c030df9c498810899a21681e3ffa6