Merge "Convert external/eigen to Android.bp"