Move getters from Options to Platform

tests/standalone/debugger/debug_lib.dart

Index: tests/standalone/debugger/debug_lib.dart
diff --git a/tests/standalone/debugger/debug_lib.dart b/tests/standalone/debugger/debug_lib.dart
index 349de00825b17344970feea5368c4ad01a56b822..34500ba9ee930ef0e22a26553f6b60f4d3f298e0 100644
--- a/tests/standalone/debugger/debug_lib.dart
+++ b/tests/standalone/debugger/debug_lib.dart
@@ -609,11 +609,11 @@ bool RunScript(List script) {
 
   // Port number 0 means debug target picks a free port dynamically.
   var targetOpts = [ "--debug:0" ];
-  targetOpts.add(options.script);
+  targetOpts.add(Platform.script);
   targetOpts.add("--debuggee");
   print('args: ${targetOpts.join(" ")}');
 
-  Process.start(options.executable, targetOpts).then((Process process) {
+  Process.start(Platform.executable, targetOpts).then((Process process) {
     print("Debug target process started, pid ${process.pid}.");
     process.stdin.close();
     var debugger = new Debugger(process, new DebugScript(script));