Updating spidermonkey library to firefox v23.