Issue 22: improve test262 config.js, add more config options