Remove uses of Options from tools directory. Fix platform_test.

tools/ddbg.dart

 // Copyright (c) 2012, 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.
 
 // Simple interactive debugger shell that connects to the Dart VM's debugger
 // connection port.
 
 import "dart:convert";
 import "dart:io";
 import "dart:async";
@@ skipping 608 matching lines @@
           print("Error in debug connection: $err");
           // TODO(floitsch): do we want to print the stack trace?
           quitShell();
         });
     stdinSubscription = stdin.transform(UTF8.decoder)
                              .transform(new LineSplitter())
                              .listen((String line) => processCommand(line));
   });
 }
 
-void main() {
-  Options options = new Options();
-  List<String> arguments = options.arguments;
+void main(List<String> arguments) {
   if (arguments.length > 0) {
     arguments = <String>['--debug', '--verbose_debug']..addAll(arguments);
-    Process.start(options.executable, arguments).then((Process process) {
+    Process.start(Platform.executable, arguments).then((Process process) {
       process.stdin.close();
       process.exitCode.then((int exitCode) {
         print('${arguments.join(" ")} exited with $exitCode');
       });
       debuggerMain();
     });
   } else {
     debuggerMain();
   }
 }