SpiderMonkey upgrade details

Latest revision: 5ecd532a167e

Grab latest SpiderMonkey source:

cd ~/mozilla-central
make -C objdir/js/src source-package
cd ~/servo/src/support/mozjs
rm -rf .
cp ~/mozilla-central/objdir/mozjs-31.0.1.tar.bz2 .
tar xvjf mozjs-31.0.1.tar.bz2 --strip 1

Port non-upstreamed patches forward:

• https://github.com/mozilla-servo/mozjs/commit/307dd4bd397100a5446fb3d8d5868fc052577d3a
• https://github.com/mozilla-servo/mozjs/commit/bfe6b9544ff0df852bdca16a68770b9381e5f35c
• https://github.com/mozilla-servo/mozjs/commit/81aeed0b6159acdedf7dd530fb6c3bde5ddbb70a
• https://github.com/mozilla-servo/mozjs/commit/2f49752829e5cf68b68caee62c338a7c989c7992

bindgen only supports C, and not only is jsapi.h full of C++, it includes lots of very C++y other headers. Good luck.