Build spidermonkey for Android/x86

* ... and improve the build script