Move getters from Options to Platform

tests/standalone/io/http_server_response_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 62 matching lines @@
     request.response.done.then((_) {
       server.close();
     });
     request.response.contentLength = 0;
     request.response.close();
   });
 }
 
 
 void testResponseAddStream() {
-  int bytes = new File(new Options().script).lengthSync();
+  int bytes = new File(Platform.script).lengthSync();
 
   testServerRequest((server, request) {
-    request.response.addStream(new File(new Options().script).openRead())
+    request.response.addStream(new File(Platform.script).openRead())
         .then((response) {
           response.close();
           response.done.then((_) => server.close());
         });
   }, bytes: bytes);
 
   testServerRequest((server, request) {
-    request.response.addStream(new File(new Options().script).openRead())
+    request.response.addStream(new File(Platform.script).openRead())
         .then((response) {
-          request.response.addStream(new File(new Options().script).openRead())
+          request.response.addStream(new File(Platform.script).openRead())
               .then((response) {
                 response.close();
                 response.done.then((_) => server.close());
               });
         });
   }, bytes: bytes * 2);
 
   testServerRequest((server, request) {
     var controller = new StreamController(sync: true);
     request.response.addStream(controller.stream)
@@ skipping 15 matching lines @@
     new File("__not_exitsing_file_").openRead().pipe(request.response)
         .catchError((e) {
           server.close();
         });
   });
 }
 
 
 void testResponseAddStreamClosed() {
   testServerRequest((server, request) {
-    request.response.addStream(new File(new Options().script).openRead())
+    request.response.addStream(new File(Platform.script).openRead())
         .then((response) {
           response.close();
           response.done.then((_) => server.close());
         });
   }, closeClient: true);
 
   testServerRequest((server, request) {
     int count = 0;
     write() {
-      request.response.addStream(new File(new Options().script).openRead())
+      request.response.addStream(new File(Platform.script).openRead())
           .then((response) {
             request.response.write("sync data");
             count++;
             if (count < 1000) {
               write();
             } else {
               response.close();
               response.done.then((_) => server.close());
             }
           });
     }
     write();
   }, closeClient: true);
 }
 
 
 void testResponseAddClosed() {
   testServerRequest((server, request) {
-    request.response.add(new File(new Options().script).readAsBytesSync());
+    request.response.add(new File(Platform.script).readAsBytesSync());
     request.response.close();
     request.response.done.then((_) => server.close());
   }, closeClient: true);
 
   testServerRequest((server, request) {
     for (int i = 0; i < 1000; i++) {
-      request.response.add(new File(new Options().script).readAsBytesSync());
+      request.response.add(new File(Platform.script).readAsBytesSync());
     }
     request.response.close();
     request.response.done.then((_) => server.close());
   }, closeClient: true);
 
   testServerRequest((server, request) {
     int count = 0;
     write() {
-      request.response.add(new File(new Options().script).readAsBytesSync());
+      request.response.add(new File(Platform.script).readAsBytesSync());
       Timer.run(() {
         count++;
         if (count < 1000) {
           write();
         } else {
           request.response.close();
           request. response.done.then((_) => server.close());
         }
       });
     }
@@ skipping 85 matching lines @@
 
 void main() {
   testResponseDone();
   testResponseAddStream();
   testResponseAddStreamClosed();
   testResponseAddClosed();
   testBadResponseAdd();
   testBadResponseClose();
   testIgnoreRequestData();
 }