Move getters from Options to Platform

tests/standalone/coverage_test.dart

Index: tests/standalone/coverage_test.dart
diff --git a/tests/standalone/coverage_test.dart b/tests/standalone/coverage_test.dart
index b5a236e9802dd93c5a86692661eac1b4a1d740f9..b48d99be1213e0b1199fd149f84926b23a6cc709 100644
--- a/tests/standalone/coverage_test.dart
+++ b/tests/standalone/coverage_test.dart
@@ -47,11 +47,9 @@ void checkSuccess() {
 }
 
 void main() {
-  var options = new Options();
-
   // Compute paths for coverage tool and coverage target relative
   // the the path of this script.
-  var scriptPath = new Path(options.script).directoryPath;
+  var scriptPath = new Path(Platform.script).directoryPath;
   var toolPath = scriptPath.join(new Path(coverageToolScript)).canonicalize();
   targPath = scriptPath.join(new Path(coverageTargetScript)).canonicalize();
 
@@ -62,7 +60,7 @@ void main() {
                       toolPath.toNativePath(),
                       targPath.toNativePath() ];
 
-  Process.start(options.executable, processOpts).then((Process process) {
+  Process.start(Platform.executable, processOpts).then((Process process) {
     coverageToolProcess = process;
     coverageToolProcess.stdin.close();
     var stdoutStringStream = coverageToolProcess.stdout