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

Change-Id: Ieb87eb44f011d8bd984fd27a1b06555107754750