Import of Mozilla Spidermonkey into git