Remove uses of dart:io Options from pub.

sdk/lib/_internal/pub/bin/pub.dart

Index: sdk/lib/_internal/pub/bin/pub.dart
diff --git a/sdk/lib/_internal/pub/bin/pub.dart b/sdk/lib/_internal/pub/bin/pub.dart
index ecd58bdee2576c1763be53019012d25eca57362a..ca88d38d97c0184a46ef0743d9a29212c7ac5ffa 100644
--- a/sdk/lib/_internal/pub/bin/pub.dart
+++ b/sdk/lib/_internal/pub/bin/pub.dart
@@ -18,11 +18,11 @@ import '../lib/src/utils.dart';
 
 final pubArgParser = initArgParser();
 
-void main() {
+void main(List<String> arguments) {
   ArgResults options;
 
   try {
-    options = pubArgParser.parse(new Options().arguments);
+    options = pubArgParser.parse(arguments);
   } on FormatException catch (e) {
     log.error(e.message);
     log.error('Run "pub help" to see available options.');
@@ -84,7 +84,7 @@ void main() {
   }
 
   validatePlatform().then((_) {
-    PubCommand.commands[options.command.name].run(cacheDir, options);
+    PubCommand.commands[options.command.name].run(cacheDir, options, arguments);
   });
 }