gradle: Be able to fetch Eigen if it's not found on the system when building Android

Should make it possible to build using android studio in flatpak, as well as easier using Android Studio on Windows.

Amazing, I did something in Gradle and it didn't take me more than an hour!