Travis CI: fetch spidermonkey directly from Mozilla