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

Change-Id: Ibdb1e6a5e0403ca50c67edc71a4f4454548a7c19