Move getters from Options to Platform

tests/standalone/io/process_shell_test.dart

Index: tests/standalone/io/process_shell_test.dart
diff --git a/tests/standalone/io/process_shell_test.dart b/tests/standalone/io/process_shell_test.dart
index fd962d9c3b30185694ef22dbf13ac9c7a40b97b9..3d0f6a8525af77dc0043585e83fea435d6bce39d 100644
--- a/tests/standalone/io/process_shell_test.dart
+++ b/tests/standalone/io/process_shell_test.dart
@@ -7,10 +7,9 @@ import "dart:isolate";
 
 void testRunShell() {
   test(args) {
-    var options = new Options();
-    var path = new Path(options.script);
+    var path = new Path(Platform.script);
     path = path.directoryPath.join(new Path("process_echo_util.dart"));
-    Process.run(options.executable,
+    Process.run(Platform.executable,
                 [path.toString()]..addAll(args),
                 runInShell: true)
         .then((result) {
@@ -44,8 +43,7 @@ void testRunShell() {
 
 void testBadRunShell() {
   test(exe, [args = const []]) {
-    var options = new Options();
-    var path = new Path(options.script);
+    var path = new Path(Platform.script);
     path = path.directoryPath.join(new Path("process_echo_util.dart"));
     Process.run(exe, args, runInShell: true)
         .then((result) {