Move getters from Options to Platform

tests/standalone/io/regress_7191_test.dart

Index: tests/standalone/io/regress_7191_test.dart
diff --git a/tests/standalone/io/regress_7191_test.dart b/tests/standalone/io/regress_7191_test.dart
index 8c56fb356e7b0bd78ff4f42269c9fef89d9b7e1e..4e6abf1970713f2e74c693e4daaa1ffefcf87ef9 100644
--- a/tests/standalone/io/regress_7191_test.dart
+++ b/tests/standalone/io/regress_7191_test.dart
@@ -14,9 +14,8 @@ import 'dart:isolate';
 
 main() {
   var port = new ReceivePort();
-  var options = new Options();
-  var executable = options.executable;
-  var scriptDir = new Path(options.script).directoryPath;
+  var executable = Platform.executable;
+  var scriptDir = new Path(Platform.script).directoryPath;
   var script = scriptDir.append('regress_7191_script.dart').toNativePath();
   Process.start(executable, [script]).then((process) {
     process.stdin.add([0]);