Android ndk 32bit as user option

Since I needed the 32-Bit version and not the 64-Bit version but didn't find a way to alter the "MacOS.prefer_64bit?" output, I changed the formula to include a "install-32bit" option