Issue6: allow specifying arguments to test262.py in config.js