Move getters from Options to Platform

sdk/lib/_internal/lib/io_patch.dart

Index: sdk/lib/_internal/lib/io_patch.dart
diff --git a/sdk/lib/_internal/lib/io_patch.dart b/sdk/lib/_internal/lib/io_patch.dart
index fc77093a36543a613cc16e834531b9fe73b38bd7..4967d9432938d47bf4943db86b3e411d84d0b12f 100644
--- a/sdk/lib/_internal/lib/io_patch.dart
+++ b/sdk/lib/_internal/lib/io_patch.dart
@@ -168,6 +168,9 @@ patch class _Platform {
   patch static _environment() {
     throw new UnsupportedError("Platform._environment");
   }
+  patch static String _version() {
+    throw new UnsupportedError("Platform._version");
+  }
 }
 
 patch class _ProcessUtils {
@@ -320,9 +323,3 @@ patch class _Filter {
     throw new UnsupportedError("newZLibInflateFilter");
   }
 }
-
-patch class _OptionsImpl {
-  patch String get version {
-    throw new UnsupportedError("_OptionsImpl.version");
-  }
-}