Move getters from Options to Platform

sdk/lib/io/platform_impl.dart

Index: sdk/lib/io/platform_impl.dart
diff --git a/sdk/lib/io/platform_impl.dart b/sdk/lib/io/platform_impl.dart
index 89fc2a0eb323f00c1fca358ed9ea6a3409dbd1d3..968c359ab2816fd211225d8c238db60f41bb155f 100644
--- a/sdk/lib/io/platform_impl.dart
+++ b/sdk/lib/io/platform_impl.dart
@@ -10,18 +10,11 @@ class _Platform {
   external static String _operatingSystem();
   external static _localHostname();
   external static _environment();
+  external static String _version();
 
-  static int get numberOfProcessors {
-    return _numberOfProcessors();
-  }
-
-  static String get pathSeparator {
-    return _pathSeparator();
-  }
-
-  static String get operatingSystem {
-    return _operatingSystem();
-  }
+  static int get numberOfProcessors => _numberOfProcessors();
+  static String get pathSeparator => _pathSeparator();
+  static String get operatingSystem => _operatingSystem();
 
   static String get localHostname {
     var result = _localHostname();
@@ -57,6 +50,8 @@ class _Platform {
       return result;
     }
   }
+
+  static String get version => _version();
 }
 
 // Environment variables are case-insensitive on Windows. In order