Move getters from Options to Platform

tests/standalone/http_launch_test.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 // VMOptions=
 // VMOptions=--short_socket_read
 // VMOptions=--short_socket_write
 // VMOptions=--short_socket_read --short_socket_write
 //
 // Test:
 //   *) Launching a script fetched over HTTP.
 //   *) Importing a library fetched over HTTP.
 //   *) Automatically resolving package_root when script is fetched over HTTP.
 //   *) Spawning a URI over HTTP.
 
 library http_launch_test;
 
 import 'dart:async';
 import 'dart:io';
 import 'package:expect/expect.dart';
 
-String pathToExecutable = new Options().executable;
-String pathOfData = new File(new Options().script).directory.path +
+String pathToExecutable = Platform.executable;
+String pathOfData = new File(Platform.script).directory.path +
                     '/http_launch_data';
 int port;
 
 _sendNotFound(HttpResponse response) {
   response.statusCode = HttpStatus.NOT_FOUND;
   response.close();
 }
 
 handleRequest(HttpRequest request) {
   final String path = request.uri.path;
@@ skipping 48 matching lines @@
   Expect.isTrue(stdout.startsWith('hello'));
   // Same output from all three process runs.
   for (int i = 0; i < results.length; i++) {
     Expect.equals(stdout, results[i].stdout);
   }
 }
 
 main() {
   HttpServer.bind(InternetAddress.LOOPBACK_IP_V4, 0).then(serverRunning);
 }