Move getters from Options to Platform

tests/standalone/io/raw_secure_socket_pause_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 17 matching lines @@
           }
           request.response.close();
         });
     });
     return server;
   });
 }
 
 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');
 }
 
 void main() {
   List<int> message = "GET / HTTP/1.0\r\nHost: localhost\r\n\r\n".codeUnits;
   int written = 0;
   List<int> body = <int>[];
   InitializeSSL();
   startServer().then((server) {
@@ skipping 53 matching lines @@
           },
           onError: (e) {
             String msg = "onError handler of RawSecureSocket stream hit: $e";
             var trace = getAttachedStackTrace(e);
             if (trace != null) msg += "\nStackTrace: $trace";
             Expect.fail(msg);
           });
     });
   });
 }