Move getters from Options to Platform

tests/standalone/io/web_socket_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
 
 import "package:expect/expect.dart";
@@ skipping 387 matching lines @@
     testNoUpgrade();
     testUsePOST();
     testConnections(10, 3002, "Got tired");
     testIndivitualUpgrade(5);
   }
 }
 
 
 void initializeSSL() {
   var testPkcertDatabase =
-      new Path(new Options().script).directoryPath.append("pkcert/");
+      new Path(Platform.script).directoryPath.append("pkcert/");
   SecureSocket.initialize(database: testPkcertDatabase.toNativePath(),
                           password: "dartdart");
 }
 
 
 main() {
   new SecurityConfiguration(secure: false).runTests();
   initializeSSL();
   new SecurityConfiguration(secure: true).runTests();
 }