Merge "Upgrade curl to curl-7_72_0" am: e1ff5a7aa0

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

Change-Id: If1aa67faf1f0d82ff0f48d12f4a4af177e79ed88