Reliable cross-compilation process for android

We should implement a preferred cross-compilation process for Android, so that downstream users don't have to figure it out on their own.