Add ANDROIDARCH architecture setup option (arm, x86 or mips)

The default is arm. Note that changing this requires the entire
Android cache to be rebuilt, as object files cannot be shared
across architectures.