Add option to skip warnings from spidermonkey (bug 934388)