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

sdk/lib/_internal/compiler/samples/darttags/darttags.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.
 
 // Usage: Add the following to your .gclient file (found in the parent
 // of the "dart" in a gclient checkout of the Dart repositor).
 //
 // hooks = [
 //   {
 //     "pattern": ".",
@@ skipping 33 matching lines @@
 const SDK_ROOT = '../../../../../';
 
 bool isPublicDart2jsLibrary(String name) {
   return !name.startsWith('_') && LIBRARIES[name].isDart2jsLibrary;
 }
 
 var handler;
 RandomAccessFile output;
 Uri outputUri;
 
-main() {
-  mainWithOptions(new Options());
-}
-
-mainWithOptions(Options options) {
+main(List<String> arguments) {
   handler = new FormattingDiagnosticHandler()
       ..throwOnError = true;
 
   outputUri =
-      handler.provider.cwd.resolve(nativeToUriPath(options.arguments.first));
-  output = new File(options.arguments.first).openSync(mode: FileMode.WRITE);
+      handler.provider.cwd.resolve(nativeToUriPath(arguments.first));
+  output = new File(arguments.first).openSync(mode: FileMode.WRITE);
 
   Uri myLocation =
-      handler.provider.cwd.resolve(nativeToUriPath(options.script));
+      handler.provider.cwd.resolve(nativeToUriPath(Platform.script));
 
   // Get the names of public dart2js libraries.
   Iterable<String> names = LIBRARIES.keys.where(isPublicDart2jsLibrary);
 
   // Prepend "dart:" to the names.
   List<Uri> uris = names.map((String name) => Uri.parse('dart:$name')).toList();
 
   // Append dart2js itself.
   uris.add(myLocation.resolve(DART2JS));
   uris.add(myLocation.resolve(DART2JS_MIRROR));
@@ skipping 49 matching lines @@
 
   var tag_definition_data = '$buffer';
   var src_file = relativize(outputUri, uri, false);
   var size_of_tag_definition_data_in_bytes = tag_definition_data.length;
 
   // The header.
   output.writeStringSync(
       '\x0c\n${src_file},${size_of_tag_definition_data_in_bytes}\n');
   output.writeStringSync(tag_definition_data);
 }