Merge "Add a script to generate coverage." am: 8743c15a64 am: 9ee924ce64 am: 5a69d654ad am: 19e0a9324d

Original change: https://android-review.googlesource.com/c/platform/bionic/+/1392425

Change-Id: If4044efe3cb5e384617c59e60ee773c7498cfe65