Travis CI: try to get addon-validator to recognize spidermonkey