Move getters from Options to Platform

tests/standalone/io/process_run_output_test.dart

Index: tests/standalone/io/process_run_output_test.dart
diff --git a/tests/standalone/io/process_run_output_test.dart b/tests/standalone/io/process_run_output_test.dart
index f8b06d4b915cbf2ed8ff321e1300947b97b9ad7e..efa98927a5cd2a84395fa31c40cdfd41da8a81e3 100644
--- a/tests/standalone/io/process_run_output_test.dart
+++ b/tests/standalone/io/process_run_output_test.dart
@@ -35,7 +35,7 @@ test(scriptFile, encoding, stream) {
   }
 
   if (stream == 'stdout') {
-    Process.run(new Options().executable,
+    Process.run(Platform.executable,
                 [scriptFile, encoding, stream],
                 stdoutEncoding: enc). then((result) {
       Expect.equals(result.exitCode, 0);
@@ -43,7 +43,7 @@ test(scriptFile, encoding, stream) {
       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);