Move getters from Options to Platform

tests/standalone/io/file_read_special_device_test.dart

Index: tests/standalone/io/file_read_special_device_test.dart
diff --git a/tests/standalone/io/file_read_special_device_test.dart b/tests/standalone/io/file_read_special_device_test.dart
index c32db08841aef818375657f71a97dab2e414efe6..d9880f346aa8284ca2a678e25894c283fdc4d31c 100644
--- a/tests/standalone/io/file_read_special_device_test.dart
+++ b/tests/standalone/io/file_read_special_device_test.dart
@@ -6,10 +6,9 @@ import 'package:expect/expect.dart';
 import 'dart:io';
 
 void openAndWriteScript(String script) {
-  var options = new Options();
-  var dir = new Path(options.script).directoryPath;
+  var dir = new Path(Platform.script).directoryPath;
   script = "$dir/$script";
-  var executable = options.executable;
+  var executable = Platform.executable;
   var file = script;  // Use script as file.
   Process.start("bash", ["-c", "$executable $script < $file"]).then((process) {
     process.exitCode