Changed name of SpiderMonkey dist-only repository