Remove uses of dart:io Options in dart2js and dartdoc.

sdk/lib/_internal/compiler/implementation/dart2js.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library dart2js.cmdline;
 
 import 'dart:async';
 import 'dart:io'
-    show exit, File, FileMode, Options, Platform, RandomAccessFile;
+    show exit, File, FileMode, Platform, RandomAccessFile;
 import 'dart:math' as math;
 
 import '../compiler.dart' as api;
 import 'source_file.dart';
 import 'source_file_provider.dart';
 import 'filenames.dart';
 import 'util/uri_extras.dart';
 import 'util/util.dart';
 import '../../libraries.dart';
 
@@ skipping 425 matching lines @@
 void fail(String message) {
   if (diagnosticHandler != null) {
     diagnosticHandler.diagnosticHandler(
         null, -1, -1, message, api.Diagnostic.ERROR);
   } else {
     print(message);
   }
   exit(1);
 }
 
-Future compilerMain(Options options) {
+Future compilerMain(List<String> arguments) {
   var root = uriPathToNative("/$LIBRARY_ROOT");
-  List<String> argv = ['--library-root=${options.script}$root'];
-  argv.addAll(options.arguments);
-  return compile(argv);
+  arguments =
+      <String>['--library-root=${Platform.script}$root']..addAll(arguments);
+  return compile(arguments);
 }
 
 void help() {
   // This message should be no longer than 20 lines. The default
   // terminal size normally 80x24. Two lines are used for the prompts
   // before and after running the compiler. Another two lines may be
   // used to print an error message.
   print('''
 Usage: dart2js [options] dartfile
 
@@ skipping 112 matching lines @@
   }
   exit(0);
 }
 
 void helpAndFail(String message) {
   help();
   print('');
   fail(message);
 }
 
-void mainWithErrorHandler(Options options) {
-  runZoned(() => compilerMain(options), onError: (exception) {
+void main(List<String> arguments) {
+  runZoned(() => compilerMain(arguments), onError: (exception) {
     try {
       print('Internal error: $exception');
     } catch (ignored) {
       print('Internal error: error while printing exception');
     }
 
     try {
       var trace = getAttachedStackTrace(exception);
       if (trace != null) {
         print(trace);
       }
     } finally {
       exit(253); // 253 is recognized as a crash by our test scripts.
     }
   });
 }
-
-void main() {
-  mainWithErrorHandler(new Options());
-}