Merge "Convert external/eigen to Android.bp"
am: 91ebe5d750

Change-Id: I22d64d15c4309f5b091df22e6da5c105acdb2d21