Merge "Update OWNERS for external/eigen." am: ca5aa72016 am: 595f7ed301 am: a0e9f3fa60

Original change: https://android-review.googlesource.com/c/platform/external/eigen/+/1944925

Change-Id: I0581bceb4852608864ab0068739312e326c13a14