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

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

Change-Id: Ia3ec722e39237a6754c25f53e00b2ad8d6543106