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 9be199832dae0743ec82f3d65af07a7f0f712637..aaf3f43b24e5e07c3381ed243baa3833bb533f63 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 {
@@ -309,9 +312,3 @@ patch class _Filter {
     throw new UnsupportedError("newZLibInflateFilter");
   }
 }
-
-patch class _OptionsImpl {
-  patch String get version {
-    throw new UnsupportedError("_OptionsImpl.version");
-  }
-}