android-ndk r10c

Now with merged 32/64 bit targets, but unfortunately distributed
as 7zip archive as self-extrcting binary