Improve documentation for the port API. am: a3fd28e936

Original change: https://android-review.googlesource.com/c/platform/tools/ndkports/+/1315396

Change-Id: Ife87a97375f15331e0f4413c015db74efa411056