Merge "simpleperf: add doc for --proguard-mapping-file." am: ebffa5ea44 am: 7d4db2da1e am: 6e87258986

Original change: https://android-review.googlesource.com/c/platform/system/extras/+/1927570

Change-Id: I0815660de3ac7763410ff821b2d0bdb31954b121