Move getters from Options to Platform

tests/standalone/io/process_run_output_test.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.
 //
 // Test script for testing that output is handled correctly for
 // non-interactive processes started with Process.run.
 
 import "package:expect/expect.dart";
 import "dart:io";
 import "process_test_util.dart";
@@ skipping 17 matching lines @@
     enc = Encoding.ASCII;
   } else if (encoding == 'latin1') {
     enc = Encoding.ISO_8859_1;
   } else if (encoding == 'utf8') {
     enc = Encoding.UTF_8;
   } else if (encoding == 'binary') {
     enc = null;
   }
 
   if (stream == 'stdout') {
-    Process.run(new Options().executable,
+    Process.run(Platform.executable,
                 [scriptFile, encoding, stream],
                 stdoutEncoding: enc). then((result) {
       Expect.equals(result.exitCode, 0);
       Expect.equals(result.stderr, '');
       checkOutput(encoding, result.stdout);
     });
   } else {
-    Process.run(new Options().executable,
+    Process.run(Platform.executable,
                 [scriptFile, encoding, stream],
                 stderrEncoding: enc).then((result) {
       Expect.equals(result.exitCode, 0);
       Expect.equals(result.stdout, '');
       checkOutput(encoding, result.stderr);
     });
   }
 }
 
 main() {
   var scriptFile = new File("tests/standalone/io/process_std_io_script2.dart");
   if (!scriptFile.existsSync()) {
     scriptFile =
         new File("../tests/standalone/io/process_std_io_script2.dart");
   }
   Expect.isTrue(scriptFile.existsSync());
   test(scriptFile.path, 'ascii', 'stdout');
   test(scriptFile.path, 'ascii', 'stderr');
   test(scriptFile.path, 'latin1', 'stdout');
   test(scriptFile.path, 'latin1', 'stderr');
   test(scriptFile.path, 'utf8', 'stdout');
   test(scriptFile.path, 'utf8', 'stderr');
   test(scriptFile.path, 'binary', 'stdout');
   test(scriptFile.path, 'binary', 'stderr');
 }