Optimize tor and its dependencies for size on Android

Let's use -Os on Android, to get back a few kBs and potentially get below the 100MB threshold on x86.