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

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

Change-Id: If5dfe1d226eec325673ae562432acf452746c295