Support for `--global-js-name' option of dart2js