Switch to the ARMv7 abi for Android

This will enable hardware floating point operations, but will break some older devices
We *can* do a fat binary if we wanted to, but it runs so badly on software-fp that we really
shouldn't